Representing datatypes