lambdacube-2008.12.24: unit.cube

Unit :: *;
Unit = forall unitT::* . unitT -> unitT;
unit :: Unit;
unit = \ (unitT::*) (x::unitT) -> x;