    @Test
    public void shouldPropagateSumTypeIntoVariableType() {

        Type target = sum("String");
        Type variable = var("a");
        shouldBeUnified(unify(target, variable), target);
        shouldBeBound(variable, target);
    }