package    leaky
  module     Main
   binds     duty
#   types    State
    types    Types_min.State
#   types    Types_min.St
#   types    Types_min.State, Types_min.St
# instances  Main.State
  instances  Types_min.St
# instances  Types_min.State