There's so much unanswered here, does it handle parametric polymorphism? Does it allow sum/product types? Is there inference? Can you bound generic types? IMO

There's so much unanswered here, does it handle parametric polymorphism? Does it allow sum/product types? Is there inference? Can you bound generic types? IMO it would be a complete waste of time to add a type system that only prevented the most trivial of type errors: mismatching Integer and String.