| 33 | | || || || || || || Y || Y || Y || || || Y || Y || || Y || || || || #60 || add RankNTypes or Rank2Types |
| 34 | | || || || || || || Y || Y || Y || || || Y || Y || || Y || || || || #57 || add polymorphic components |
| 35 | | || || || || Y || || Y || Y || Y || || || Y || Y || || Y || || Y || || #26 || add ExistentialQuantification (existential components) |
| 36 | | || || || || || || Y || || Y || || || Y || || || || || || || #85 || more liberal kind inference |
| 37 | | || || || || || || Y || Y || Y || || || || || || Y || || N || || #70 || allow TypeSynonymInstances |
| 38 | | || || || || || || Y || Y || Y || || || Y || Y || || Y || || || || #65 || Relax Dependency Analysis |
| | 33 | || || || || || Y || Y || Y || Y || || || Y || Y || || Y || || || || #60 || add RankNTypes or Rank2Types |
| | 34 | || || || || || Y || Y || Y || Y || || || Y || Y || || Y || || || || #57 || add polymorphic components |
| | 35 | || || || || Y || Y || Y || Y || Y || || || Y || Y || || Y || || Y || || #26 || add ExistentialQuantification (existential components) |
| | 36 | || || || || || Y || Y || || Y || || || Y || || || || || || || #85 || more liberal kind inference |
| | 37 | || || || || || Y || Y || Y || Y || || || || || || Y || || N || || #70 || allow TypeSynonymInstances |
| | 38 | || || || || || Y || Y || Y || Y || || || Y || Y || || Y || || || || #65 || Relax Dependency Analysis |