typ a = int
typ b = (x: (y: (z: a)))