[Haskell] Modelling languages for FP (like UML for OO)

[Mads Lindstrøm]

Hi all

In object-oriented programming, UML is used to model programs. In
functional programming (especially Haskell) we use ???

The only graphical modellering language I have found is FAD:
http://www.cs.kent.ac.uk/pubs/2001/1152/ .

Are there other approaches?

Are anybody, except for the creates of FAD, using it?

If you are using FAD, what are your experiences with it?

I am mainly interested in the macro level. That is modules, classes,
class instances, ... Not in modellering the internals of a function.

Greetings,

Mads Lindstrøm