1 2 3 4 5 6 7 8 9
{-# LANGUAGE TypeFamilies #-} module T7536 where type T v = Int type family TF a :: * type instance TF (T a) = a