2 ms·

I thought it was still "locally HM-like", but I don't really have a clue what type systems including class hierarchies look like.