It's just a functor which has its stored value as isomorphic to Identity.
Why do you think that https://github.com/ekmett/tables is a good alternative to extractable-singleton
It's just a functor which has its stored value as isomorphic to Identity.
Why do you think that https://github.com/ekmett/tables is a good alternative to extractable-singleton