last monad thoughts before i pass out
im pretty sure that if youre a working haskell programming, youre usually not going to be doing super exotic things with your monads. in fact youre probably not even going to be using the option or list monads (maybe for a bit of code golfing here and there).
many monads in haskell code are big monad transformer stacks, which really just means a thingy that lists which side effects are allowed to be performed by functions that wrap their return value around the monad. so youre not thinking about category theory stuff and composition operators youre really just thinking about side effects and how you want to tame them.
dont' ask me what a comonad is, i dont know, actually i refuse to know.
"its the dual of a monad. you reverse the arrows" sure thing buddy whatever
also see EWD 1036
i beat this pb recently but only by a little
iitalics / milo
he / him / they