{-# LANGUAGE TypeFamilies, KindSignatures #-}
module Main (main) where

data Id = Id

type family Rep (f :: * -> *) x :: *

type instance Rep Id x = x