Error found:
in module Main
at tests/purs/failing/OperatorSections.purs:7:3 - 7:17 (line 7, column 3 - line 7, column 17)

  Could not match type
           
    Boolean
           
  with type
            
    t1 -> t2
            

while applying a function (not (#dict HeytingAlgebra t2)) true
  of type t0
  to argument $0
while inferring the type of \$0 ->         
                              (not true) $0
in value declaration main

where t1 is an unknown type
      t0 is an unknown type
      t2 is an unknown type

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.