EXPERIMENTAL: Syntax for applying functions by expected type
"t <== f" applies a function f to arguments in such a way that it returns
something of type t. The <== is a placeholder syntax until someone comes
up with something better.
(Alternative: t by f, but that uses up a new keyword)