Can anyone explain why: ::Lift a = Uu // undefined value | V a // defined value is acceptable to the Clean compiler, but ::Lift a = U // undefined value | V a // defined value is not? thanks in advance for any help, Matt.