Disclaimer: I need to put a giant disclaimer up front here about how I am not an expert in type theory. I read a lot of books and have…