Data Movement Optimisation in Point-Free Form

by Brad Alex , Andrew Wendelborn