Error found:
in module Main
at tests/purs/failing/TypedBinders2.purs:8:3 - 8:14 (line 8, column 3 - line 8, column 14)

  Could not match type
        
    Unit
        
  with type
          
    String
          

while checking that expression case $0 of       
                                 s -> log "Done"
  has type Effect t2
while applying a function (bind (#dict Bind t1)) (log "Foo")
  of type (t0 -> t1 t2) -> t1 t2
  to argument \$0 ->             
                case $0 of       
                  s -> log "Done"
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.