Type families and type inference - a question

Bulat Ziganshin bulat.ziganshin at gmail.com
Sun Jan 10 11:28:40 EST 2010

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

More information about the Glasgow-haskell-users mailing list