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