The Complexity of Enforcing Simple Logical Statements About Types at Compile Time

Watch me lose my mind while trying to get the compiler to enforce something it already knows...🫠