𞋚𞋁𞋈𞋛 𞋃𞋣 𞋇𞋜𞋀
English Moreover, the morphisms between such datatypes are really 'computed' by the elements tracking them, in the sense that each tracking element determines its function.