Simulating Haskell-style GADTs with phantom witnesses and specialisation.