let unit := ()
let isUnit(()) := true
let isUnit(_) := false

assert(isUnit(unit))
assert(unit = ())