On Sat, Aug 22, 2015 at 6:23 AM, Johannes Waldmann <johannes.waldmann@htwk-leipzig.de> wrote:
I believe that (PatternSignatures and) ScopedTypeVariables
should be on by default. It is currently off only to help those
that are too lazy to write "forall t . " in (inner) declarations?

More because the language committee is ridiculously conservative. I think this is Public Enemy Number One as far as extensions that really ought to be part of the standard by now.

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net