lpaste_ 2017-03-06 03:43:35
bezirg pasted "ScopedTypeVariables question" at http://lpaste.net/353269
bezirg 2017-03-06 03:44:12
can anybody explain me why http://lpaste.net/353269 that uses ScopedTypeVariables does typecheck?
