func-categories-fridev
Wannabe real world examples of categories (monoids, setoids, monads...)
-
Tictactoe: setoids (point, color), monoids (strings of moves), functors (Maybe), monads (IO)
-
Parser: semigroups (optional parsing result), monoids (ok parsing results), functors (Either), monads (parsers composition)