| Is that because GHC's TIL is not exactly System F? It's an extension of System F (e.g. with data types, existentials, GADTs). But we're not sure it's the right extension yet. Stay tuned. | > As ever, we tend to work harder on things that folk appear to want; | | Unrelated question: will "boxy" types allow forall-quantified types in | instance declarations? Have not thought about that; do offer examples of how useful it'd be. Simon