Make Successible stand independently of Monoid