Point-free program calculation - Cunha, Alcino (2005)