<div dir="ltr">Hi cafe,<div><br></div><div>I'm playing with alex recently and noticed that:</div><div><br></div><div><font face="monospace">newtype Alex a<br>  = Alex {unAlex :: AlexState -> Either String (AlexState, a)}</font></div><div><font face="monospace"><br></font><div>which is almost <font face="monospace">StateT AlexState (Except String)</font><font face="arial, sans-serif">, and looks like I can make a MonadError instance out of it.</font></div><div><br></div><div>Therefore I'm curious if there's any existing package that has <font face="monospace">newtype StateT' s m a = StateT' (s -> m (s, a)) -- note the swapped pair here</font><br></div><div><br></div><div>so that I can just <font face="monospace">deriving (MonadError String) via StateT' AlexState (Except String)</font><font face="arial, sans-serif"> to implement MonadError.</font></div><div><br></div><div>Thanks!</div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Javran (Fang) Cheng<br></div></div></div></div>