Great quote RT @dart_lang: Gilad: "the human mind and the type theorist mind are not closely connected"