Agda-2.3.2.2: test/fail/MetaAppUnderLambda.err

Unsolved metas at the following locations:
  MetaAppUnderLambda.agda:15,16-17
  MetaAppUnderLambda.agda:17,23-26