Sub-package of Funfix defining type classes inspired by Haskell's standard library and by Typelevel Cats
