rzk-0.8.0: test/typecheck/cases/ill-unexpected-lambda.rzk

#lang rzk-1

#check (\ x -> x) : U