autrijus stares at type Eval x = forall r. ContT r (ReaderT x IO) (ReaderT x IO x)
and feels very lost
<shapr> Didn't you write that code?
<autrijus> yeah. and it works
<autrijus> I just don't know what it means.