小编Hon*_*omb的帖子

我有以下类型,并希望使它成为一个Functor:

newtype SubsM a = SubsM {runSubsM :: Context -> Either Error (a, Env)}

到目前为止我得到了这个

instance Functor SubsM where
    fmap f (SubsM a)  =  SubsM (\s->(Right((f a),(fst s))))

我得到一个错误,因为a不是预期的类型,我的问题是我如何在左侧模式匹配a？