Either

Provenance

Empty

Provenance

EndoK

fp

EnumT

fp

Everything

shapeless

Everywhere

shapeless

equals

Provenance

evalNT

fp

everything

shapeless

everywhere

shapeless