線形型
https://nymphium.github.io/pdf/sorosoro-linear.html
Haskell
の線形型
リソースを必ず1回だけ使うという性質を形で表す