copyable monad

Last updated Nov 12, 2024

A copyable monad is a representable copyable Freyd category.