They were saying guards are a crude form of type-checking, not intrinsically crude. Really they are a perfectly regular form of type hinting--as is pattern mat

They were saying guards are a crude form of type-checking, not intrinsically crude. Really they are a perfectly regular form of type hinting--as is pattern matching in function heads--when being used for no other purpose than to ensure the correct type is passed at runtime.