rzk-0.8.0: test/typecheck/cases/ill-bare-lambda-compute.rzk

#lang rzk-1

#compute \ x -> x