adamc@15: val id = fn t :: Type => fn x : t => x
adamc@15: val id_self = id [t :: Type -> t -> t] id
adamc@15: 
adamc@15: val idi = fn t ::: Type => fn x : t => x
adamc@15: val idi_self = idi idi