What is a free monad of fresh names

Last updated Feb 3, 2024

• Why Free Monads Matter (González)