rzk-0.8.0: test/typecheck/cases/ill-tope-param-lambda.rzk

#lang rzk-1

#define bad : (p : TOPE) -> U := \ p -> U