package    leaky
module     Main
  binds    duty
    types  Types_no_SOP.TA
instances  Types_no_SOP.TA, Types_no_SOP.TB, Types_no_SOP.TC