Just made me think. Linear types coming into Haskell should allow this sort of thing to be done in like in C++, avoiding the problem of worrying about fusion an

Just made me think. Linear types coming into Haskell should allow this sort of thing to be done in like in C++, avoiding the problem of worrying about fusion and compiler rewrite rules.