Put parens around some infix expressions when generating proof terms
Put parens around some infix expressions when generating proof terms
gibiansky/hlint,bitemyapp/hlint,mpickering/hlint,ndmitchell/hlint,ndmitchell/hlint,eigengrau/hlint