Not point-free :(