1 2 3 4 5 6
{-# LANGUAGE TypeFamilies #-} module T16002 where data A type family B (x :: *) :: * where A x = x