`data Auto a b = Auto { stepAuto :: a -> (Auto a b, b }` is probably the type I use the most. State machines via continuations are easy to explain and fun to mess around with.

Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!