Relevant型
弱化規則
を制限することで、変数の使用を最小一回に制限
https://en.wikipedia.org/wiki/Substructural_type_system#Relevant_type_system