Use GADTs for ghc 7.6.