Is there some way to write &&& and ||| in infix? Our current approaches lead to problems with type inference.
Is there some way to write &&& and ||| in infix? Our current approaches lead to problems with type inference.