Brent Yorgey d0ff1a15e7 Implicitly quantify over free type variables (#149) ... Also, if an explicit `forall` is given, require all type variables to be bound. Fixes #148. We might want to wait until merging #137 and then rebase this on top, since some changes might be required.		2021-10-03 02:27:58 +00:00
..
Unit.hs	Implicitly quantify over free type variables (#149)	2021-10-03 02:27:58 +00:00