data TES t s = Tes (t -> s)から
rev :: (TES t s) -> (TES s t)　の型になる関数をどう定義していいかわからないです。
どなたかご教授願えませんか？