LinearTypesを便利に扱うpackage

線形型に対応したbaseのような感じ

線形型に対応した Num , Functor , Monad , ($) , List , Either など諸々が定義されている

modules

etc.

参考

Tweagによるlinear-baseの概要の記事