Id
cats
Inject
free
imap
FreeInvariantMonoidal
inj
Inject
inject
Free
Inject
interpret
FreeT