FIX: function composition example -- WONTFIX: currently, printing of implementations is a tiny bit wrong due to incorrect representation. type variables are resolved correctly though. Try composition1.para