realm (hex): Work with type classes with algebraic or category-theoretic.
Keywords: category-theory|elixir|functional-programming