>>343
Tes(t->s)というのはHaskellの表記として正しくないし、意図も伝わらない
(ｔ->s)は型レベル、Tesは値レベルのもの

任意の関数の逆関数を計算するのは無理
(tが有限で、sが比較可能で、可逆な関数以外渡さない、みたいな前提を置けばできる)