GADT and State Machines · HackerTrans