On Mon, 5 Nov 2007 21:37:16 +0000 (GMT) "C.M.Brown" <[EMAIL PROTECTED]> wrote:
> Is there a way to give lookup0 and lookup1 explicit type signatures > without passing in m0 and m1 as parameters? (So their definitions are > the same as in the first example) If ghc can infer the type, surely > it must be possible? http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#scoped-type-variables -- Robin _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe