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