What exactly is a subtype? I've gone through a whole range of mental models as I've learnt about type systems. How do you think about them?