>>117
MyIf b t e =
| b = t
| otherwise = e
処理系が手元にないんで試せないけど、これでもダメかね？
tが評価される時はeがゴミなのでfileへの参照は1になると思うんだが。