| 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 _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
