Convert `encode' to pointfree style