GHC类型推断困境

题。 有没有什么办法可以让这段代码在没有显式类型签名的情况下工作？

码。 首先，我从Data.Newtype获得了一个实践中更好的替代MonadTrans类。 它看起来像这样，

{-# LANGUAGE FlexibleContexts, TypeFamilies #-}

module Alt.Control.Monad.Trans where

import Control.Monad

class (Monad 
                        链接地址: http://www.djcxy.com/p/43049.html
                        
上一篇:
                            
                                GHC type inference woes                            
                            
                        
                        
下一篇:
                            
                                Collections.emptyList() returns a List<Object>?