It's just a functor which has its stored value as isomorphic to Identity.
Why do you think that https://github.com/i-am-tom/higgledy 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/i-am-tom/higgledy is a good alternative to extractable-singleton