30 Sep
2010
30 Sep
'10
2:16 a.m.
| Except I don't know how to write a type signature for this. | | The value 's' passed in is bound by pattern matching on this guy's constructor: | | data Stream a = forall s. Stream (s -> Step s a) !s Int | | in the top-level function, so I don't even know if it has a type I can name. You can bind the type variable using a pattern type signature case x of Stream fun (state :: s) n -> ... This should bind the type variable 's'. Simon