MOD: setup incorporates function composition, detects relations between typevariables nicely