Abstract Type
of 1