Type families and type inference - a question

[Bulat Ziganshin]

Hello Dmitry,

Sunday, January 10, 2010, 7:09:33 PM, you wrote:

> -- Cannot remove the type signature here
>  createLister :: (MovieFinder f) => (FinderResultMonad f) (MovieLister f)
> createLister = fmap MovieLister createFinder

it's a Monomorphism Restriction of Haskell'98, disabled with -XNoMonomorphismRestriction


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com