ttp://narayama.naist.jp/research/TRS.html
ここに載ってる例をHaskellで動かしたいが簡約(step関数)で詰まった
こーど
ttp://codepad.org/fAZ6d19B

思ったより大分苦戦、暇な人がいたら手伝ってください