Syntactic sugar for inference. This has the wrong semantics for multiple arguments, meaning they will all get the same underscore. Currently that does not matter, see #65, but should be fixed before closing #66.