243.lean:2:10-2:14: error: Application type mismatch: The argument
  true
has type
  _root_.Bool
but is expected to have type
  Bool
in the application
  ⟨Bool, true⟩
243.lean:13:7-13:8: error: Application type mismatch: The argument
  a
has type
  Foo.A
but is expected to have type
  A
in the application
  ⟨A, a⟩