<div dir="auto">1) we have a monad instance for (r -> )</div><div dir="auto"><br></div><div dir="auto">2) is there some way we can arrange sans newtype an instance for its state monad sibling ( /\ x . s-> (s,x)) without a type lambda or some new type or injective type families?  I can definitely see that this is def not possible with h98-h2010, is this otherwise expressible?</div><div dir="auto"><br></div><div dir="auto">Mostly just curious if there’s some trick that’s now possible :)</div>