Is a a way to do a “Bare” state monad in modern Haskell?

[Carter Schonwald]

1) we have a monad instance for (r -> )

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?

Mostly just curious if there’s some trick that’s now possible :)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200222/f352e88a/attachment.html>