Text this: A framework for higher-order effects & handlers.