1{-# LANGUAGE TypeFamilies, KindSignatures #-}
2
3data Id = Id
4
5type family Rep (f :: * -> *) x :: *
6
7type instance Rep Id x = x
8