Doesn't have any class members, just requires that `f` in `Alternative f` must also be [[Plus]] and [[Alt]].