top-level instances: 
Instances:
  poo = ick<> poo
poo (type: ick<>) has members: 
Instances:
  p = process bar<>
  q = process bar<>
poo.p (type: bar<>) has members: 
Instances:
  x = process foo<>
  y = process foo<>
poo.q (type: bar<>) has members: 
Instances:
  x = process foo<>
  y = process foo<>
poo.q.x (type: foo<>) has members: 
Instances:
  a = bool
  b = bool
poo.q.y (type: foo<>) has members: 
Instances:
  a = bool
  b = bool
poo.q.y.a (type: bool<>) has members: 
poo.q.y.b (type: bool<>) has members: 
