Refugee Higher-Order Functions from Mantle