Coproductbasis

See https://github.com/milessabin/shapeless/issues/253