rzk-0.8.0: test/typecheck/cases/ill-unify.rzk

#lang rzk-1

#define unit-type
  : U
  := Unit

#check U : unit-type