Have you ever considered that your interest in topics like this and, say, the Scala type system might have the same roots?