reasonz A Haskell fan fiction for ReasonML Typeclasses ReasonsML's (via OCaml) module system is quite powerful and can help to emulate typeclasses from Haskell. To learn more about typeclasses refer to typeclassopedia. Semigroup Monoid Functor (Covariant) Applicative Monad Alternative Foldable Traversable BiFunctor Contavariant Functor ProFunctor Extend Comonad