namespace Sanchime.Monads module Free = type Free = | Free | Pure