[fix 1267] Constructors of records and datatype are not automatically instances anymore, you have to put them in an instance block