No problem, I enjoy reading about type theory and trying to apply them in practical programming as a hobby.