refTypeContravariant
scalaz
refTypeMonadError
scalaz