[Haskell-fr] a function which return the type of element