catthy
catthy/applicative
catthy/functor
