Type_Classes_for_Lightweight_Substructural_Types