Cartesian

cats

interpret

FreeT

suspend

Free FreeT

transform

Coyoneda