Yes, there certainly are. If you look in the Development category on Hackage, you'll find tools for:

In particular, SourceGraph contains many analysis passes, including:

visualizing function calls

computing cyclomatic complexity

visualizing module imports

Other tools that you might be interested in are:

Here is the functional call graph produced by SourceGraph run over cabal2arch: