@@ -35,7 +35,7 @@ import Language.PureScript.Names
3535import Language.PureScript.TypeChecker.Monad
3636import Language.PureScript.Types
3737
38−elaborateInstance :: (MonadState CheckState m, MonadError MultipleErrors m) => Expr -> m Expr
38+elaborateInstance :: (Functor m, MonadState CheckState m, MonadError MultipleErrors m) => Expr -> m Expr
3939elaborateInstance (TypeClassInstanceMemberFunction funName className t) =
4040 fromMaybe noInstanceError $ lookup (unQualify className, funName) derivingList
4141 where noInstanceError = throwError $ MultipleErrors [ErrorInInstance className [TypeConstructor t] (SimpleErrorWrapper $ MissingClassMember funName)]