Fair enough, although it would be easy to have an alternative prelude with linear types that libraries could depend on. Just that the extra dependency would rea

Fair enough, although it would be easy to have an alternative prelude with linear types that libraries could depend on. Just that the extra dependency would really suck. Haven't sunk a lot of time into it yet to be honest, I think the biggest beneficiaries will be streaming libraries and non-gced data structures like long lived queues?