Point-free implementation of return