tat_12·3 anni fa·discussYou can supercharge Phantom Types if your language has affine or linear types to fuel them.