data ~{className c}InstanceUpdateType = ~{intercalate "    | " $ mapMaybe fieldUpdateDataType $ classFields c}