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