4 ms·
Nitpick: EitherT err Logic a LogicT (Either err) a (The monad transformer takes the monad and the value type, not the monad applied to the value type)
by Peaker 14y ago
Nitpick:
EitherT err Logic a
LogicT (Either err) a
(The monad transformer takes the monad and the value type, not the monad applied to the value type)