Fork me on GitHub

How do I tell core.typed that a type is a subtype of another, and how do I force it to accept that a method returns something of a certain type, instead of taking it form Java? e.g. I have a method that, per signature, returns Object, but it is actually an array