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