1	import Base
2	
3	# Arbitrarily nested heterogeneous actual Type owners; no fixed family arity.
4	type Pack<Head:Type,Tail:Type> is Type:
5	  Pack{head:Head,tail:Tail}