Sunt tipurile din Haskell totuna cu domeniile functiilor din matematica ?