Text this: GADTless Programming in Haskell 98