{-# LANGUAGE TypeFamilies, KindSignatures #-}
module Main (main) where
 
data Id = Id
 
type family Rep (f :: * -> *) x :: *
 
type instance Rep Id x = x