Export either variants and flesh out the either traits