[mrmagoo17]

Hey Great comments! Thanks a lot. They certainly help to get a better understanding of how the type system actually work under the hood :)