Convert TTT to Prelude
GADT TTT