EnumSurface
surface
ExistentialType
surface
elementSurface
ArraySurface
OptionSurface
equals
GenericSurface