tat_12·3 年前·議論You can supercharge Phantom Types if your language has affine or linear types to fuel them.