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