Renamed types to cotypes because they are records.