Heya @kosmikus@twitter.com! I wrote some lhs2TeX directives to format Linear Haskell's arrow as %1 ⊸ based on lambda.fmt. Unfortunately, I think the linear arrow syntax is too complex to conditionally hide the %1 using JUST lhs2TeX. Any suggestions? :)
https://gist.github.com/wenkokke/97b9055aae4c05842a16713a722839ff