{-# LANGUAGE TypeFamilies #-}
module T11164b where

import T11164a

data instance T Int = MkT