>引数の型シノニム
って何？
引数の型を文字列として返したいなら、

import Data.Typeable

typeName :: (Typeable a) => a -> String
typeName = show . typeOf