Seol mar théacs é seo: GADTless Programming in Haskell 98