Candidates for higher-order-freer-monad

No candidates exist for higher-order-freer-monad. Upload one for this or another package?