I'm also having the same error as Kellen.
Occurs check: cannot construct the infinite type: s = s -> t
When generalising the type(s) for `torus'
Günther
_______________________________________________
FieldTrip mailing list
Fiel...@haskell.org
http://www.haskell.org/mailman/listinfo/fieldtrip