GHC type inference woes

Question. Is there any way to make this code work without an explicit type signature?

Code. First, I have a in-practice-much-nicer alternate MonadTrans class, inspired by Data.Newtype . It looks like this,

{-# LANGUAGE FlexibleContexts, TypeFamilies #-}

module Alt.Control.Monad.Trans where

import Control.Monad

class (Monad 
                        链接地址: http://www.djcxy.com/p/43050.html
                        
上一篇:
                            
                                我如何解析Haskell中的IO字符串？                            
                            
                        
                        
下一篇:
                            
                                GHC类型推断困境