purescript-0.15.15: tests/purs/failing/OperatorSections.purs

-- @shouldFailWith TypesDoNotUnify
module Main where

import Prelude

main = do
  (true `not` _)