モナドって、ひょっとしてHaskellにおけるデザインパターンのことかい？