package: leaky
  module: Main
    types: Main.TA, Main.State
#   types: Main.State
#   types: Main.TA
# module: Temp
  instances: Main.TA, Main.TB, Main.TC
# instances: Main.TA, Main.TB, Main.TC, Main.Blob