{ foo : Natural, bar : Type }