[Haskell] Position in foundations of software and programming languages