[Haskell-cafe] Strange Type Inference

[Robin Green]

On Mon, 5 Nov 2007 21:37:16 +0000 (GMT)
"C.M.Brown" <cmb21 at kent.ac.uk> 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