In Haskell, function calls must sometimes be annotated. One of well known examples is reading arbitrary types: read "5" :: Int . W...