次のような型クラスと関数があるとします。

class Trans t where
  fromList :: [a] -> t a
  toList   :: t a -> [a]

trans :: [a] -> [a]
trans = toList . fromList

ここで Trans 型クラスのインスタンス T1 と T2 があって、
T1 の trans の結果と T2 の trans の結果が
同じなら True 違うなら False を返す関数を作りたいです。
（QuickCheck で確認したい）

しかし、この trans 関数をそのまま使ってそのような関数を作ることは
できないのでしょうか（型シグネチャをどこかに明示して）。