Understanding linear types in Haskell [WIP]
Main motivation is that stated in linear types motivations - Tweag
I would like to benchmark performance of linear type approach vs non-linear type approach when dealing with transport of large amounts of data.