export higher order extensions