{ bar : Type, foo : Natural }