Lazy matching on the arguments does not seem to be necessary.

All examples and the unit test run without problems, when not matching in a lazy way.