[Haskell-cafe] Strange Type Inference

Robin Green greenrd at greenrd.org
Mon Nov 5 16:50:58 EST 2007

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?



More information about the Haskell-Cafe mailing list