2 #+ curry => 2+
5 2+ .
7 ok