extractable-singleton-0.0.1: A functor, where the "stored" value is isomorphic to Identity

extractable-singleton-0.0.1: A functor, where the "stored" value is isomorphic to Identity

A functor, where the "stored" value is isomorphic to Identity

Signatures

Modules