== String-based ==
int(1)
foo(): Argument #1 ($a) must be of type int, class@anonymous given, called in /in/Q2H2Z on line 18
== Type-less lambda ==
int(1)
foo(): Argument #1 ($a) must be of type int, class@anonymous given, called in /in/Q2H2Z on line 9
== First-class callable ==
int(1)
foo(): Argument #1 ($a) must be of type int, class@anonymous given, called in /in/Q2H2Z on line 18