>>4No, that would be PROLOG. Haskell would be writing a concise, self-consistent definition of what a knife is, how it carves a pumpkin, and what a pumpkin would look like after it's carved, and then you try to change the nose during runtime and you realize that you accidentally glued the knife to the table, so you have to use a burrito instead.