Id

cats

imap

FreeInvariantMonoidal

inject

Free

injectRoll

Free

~~interpret~~

~~FreeT~~