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