module T22513e where

data T (a :: id) = MkT