import TcType ( Type, Kind, liftedTypeKind, eqKind )
import Type ( {- instance Outputable Kind -}, pprParendKind, pprKind )
import Name ( Name, mkInternalName )
import TcType ( Type, Kind, liftedTypeKind, eqKind )
import Type ( {- instance Outputable Kind -}, pprParendKind, pprKind )
import Name ( Name, mkInternalName )