{-# language KindSignatures #-} signature Rep where import GHC.Exts (RuntimeRep) data R :: RuntimeRep