FRPの Signal がモナドである必要性がよくわからない。