7 | | Second we have the actual type uses: |

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

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

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

| 7 | Second we have the actual type uses:[[BR]] |

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

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

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