{-# LANGUAGE TypeFamilies #-}
module T11164a where

data family T a