:| unsigned (n:integer)


unsigned(n:integer) -> Type
	if n == 1
		return Bool
	else
		return (:| unsigned) n