monads-tf-0.1.0.1: Monad classes, using type families