rzk-0.8.0: test/typecheck/cases/ill-not-pair-second-unit.rzk

#lang rzk-1

#check second unit : U