10 | | * LiberalTypeSynonyms: Allow forall-quantified types in type synonym declarations, as well as applying type synonyms to forall-quantified types.[[BR]] |

11 | | * Rank2Types: Allow forall-quantified types as arguments to functions, i.e. on the left of a function arrow.[[BR]] |

12 | | * RankNTypes: Allow forall-quantified types anywhere in actual types, except as arguments to type synonyms (requires LiberalTypeSynonyms).[[BR]] |

13 | | * ImpredicativeTypes: Allow forall-quantified types as arguments to type constructors. |

| 10 | * LiberalTypeSynonyms: Allow forall-quantified types in type synonym declarations, as well as applying type synonyms to forall-quantified types.[[BR]] |

| 11 | * Rank2Types: Allow forall-quantified types as arguments to functions, i.e. on the left of a function arrow.[[BR]] |

| 12 | * RankNTypes: Allow forall-quantified types anywhere in actual types, except as arguments to type synonyms (requires LiberalTypeSynonyms).[[BR]] |

| 13 | * ImpredicativeTypes: Allow forall-quantified types as arguments to type constructors. |