守卫是一个'vs'm（）'

Question

guard :: (MonadPlus m) => Bool -> m ()
guard True  = return ()
guard False = mzero

Prelude Control.Monad> :t mzero
mzero :: (MonadPlus m) => m a

在guard的假分支中，mzero的类型为m a，但guard的返回类型已指定为m ()。因此我不太明白为什么编译器不会抱怨这个。

我的意思是，如果mzero返回一个类型为Maybe Int的值，这当然与Maybe ()不同，对吗？

Answer 1

编译器不会抱怨，因为m a是m ()的超集。

Answer 2

mzero :: (MonadPlus m) => m a的类型对于forall (a :: *) (m :: * -> *). MonadPlus m => m a来说有点简短，这意味着任何选择类型构造函数m并输入a }，如果仅满足m是MonadPlus类型类的实例的限制，则mzero可以是该类型。

guard的类型同样为forall (m :: * -> *). MonadPlus m => Bool -> m ()。在guard False = mzero中，右侧的mzero类型必须为m ()才能选择m。选择a为()和m作为请求的monad，mzero的类型，其本身就变为m ()，这正是guard {1}}需要返回。