Hello, With Data.Typeable : *Graph> typeRepArgs (typeOf 1) [] *Graph> typeRepArgs (typeOf 'a') [] *Graph> typeRepArgs (typeOf True) [] *Graph> typeRepArgs (typeOf "hello") [Char] I don't understand why the latter is not []. Could someone explain it ? Thank you, Thu