Is Spec Sufficient in Haskell?

In Haskell reverse has a type of list of a to list of a if that type checks, do you know that that works? No, no. Most of what's important about what they do is not captured by the type systems because they are not semantic in the first place. They're mostly just mechanical and the logic they have are pretty weak. I'm mostly advocating that like spec, it be allocart.