Point-free, even