Post

my program is so pure it doesn't even run

okay but van laarhoven lenses (type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> t) are like, the fastest progression from absolutely indecipherable to pretty obvious ^^