I am not sure how Haskell works but I think what the previous poster meant is that the types get determined at compile time. Closures are akin to macros except

I am not sure how Haskell works but I think what the previous poster meant is that the types get determined at compile time. Closures are akin to macros except you can't see the expanded code.