1 2 3 4 5 6
{-# LANGUAGE TypeFamilies #-} module T11164b where import T11164a data instance T Int = MkT