>>706
書き換え規則は最適化の一種なのでghciでは使えないっぽいね