1{-# LANGUAGE TypeFamilies #-} 2module FamilyKindSig where 3 4type family WithKindSig (a :: * -> *) 5