pipe: =$= の両辺がともにmonadだった場合のテスト用のファイルの追加