Prelude.Type.Integer

data Integer

type family I a :: Integer

type family IntegerCons b i :: Integer

type family IntegerHead i :: Bool

type family IntegerTail i :: Integer