It's actually more like an abstract class! Even the Maybe monad has some implementation, it's just super simple :) https://hackage.haskell.org/package/base-4.1

It's actually more like an abstract class! Even the Maybe monad has some implementation, it's just super simple :) https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#line-1005 https://hackage.haskell.org/package/base-4.14.0.0/docs/src/G...