𞋚𞋞𞋠𞋥𞋬𞋘𞋀

𞋚𞋞𞋠𞋥𞋬𞋘𞋀 𞋚𞋁𞋈𞋛 𞋃𞋣 𞋇𞋜𞋀

Moreover, the morphisms between such datatypes are really 'computed' by the elements tracking them, in the sense that each tracking element determines its function.