{-# LANGUAGE GADTs #-}

module T8258 where

data T where