Coproduct RemoveLast type class
Coproduct CNilOf type class
Changes in coproduct Basis