TESTING: added test case for #383.
The problem is an internal failure arising during type checking related to the use of an unit lambda.