rzk-0.11.4: test/typecheck/cases/ill-data-tope-field.rzk
#lang rzk-1 -- TOPE is a parameter kind, not a field: a field would store a tope as data. #data Boxed := box (psi : TOPE)
#lang rzk-1 -- TOPE is a parameter kind, not a field: a field would store a tope as data. #data Boxed := box (psi : TOPE)