Add hoistF (#16)