Changed associativity of notation "f comp g" to left.