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