> Maybe the question is whether we have anything. We already skipped 2011
> because there wasn't anything worth the effort of a new standard.
How about MultiParamTypeClasses, RankNTypes, ExistentialQuantification,
Do we have a definitive go/no-go on the FDs vs. TFs question yet? I thought MPTC was not considered usable without one of those, and neither is yet considered standard (with some good reason in the case of FDs).