{ a : { b : List Natural }
, c : { d : List Integer }
}