Re: [Haskell-beginners] type signature error in a where clause

On Sat, Nov 24, 2012 at 10:07 AM, Chaddaï Fouché wrote:

Right, sorry I should have tested :)

I guess ScopedTypeVariables allows the forall keyword too, like myriad

Since it's a prerequisite, yes. (I think almost all uses of ScopedTypeVariables can be replaced by not specifying type signatures, possibly with `asTypeOf` to help type inference along, but is sometimes required if you want to write a type signature for such functions.) -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix/linux, openafs, kerberos, infrastructure http://sinenomine.net