compare(Type.t(), Type.t()) :: :gt | :eq | :lt

intersection(Type.t(), Type.t()) :: Type.t()

normalize(Type.t()) :: Type.t()

subtype?(Type.t(), Type.t()) :: boolean()

typegroup(Type.t()) :: Type.group()

usable_as(Type.t(), Type.t(), keyword()) :: Type.ternary()