First class data type

First class means that type can be: