{-# LANGUAGE Haskell2010 #-}
module T8258NoGADTs where

data T where