{-# LANGUAGE TypeFamilies #-}
module FamilyKindSig where

type family WithKindSig (a :: * -> *)