Haskell 的にはモナドを剥がして束縛だけどね