Id

cats

Inject

free

imap

FreeInvariantMonoidal

inj

Inject

inject

Free Inject

interpret

FreeT