trait Bippy[E[X]]