Mappedが出来れば、SequenceとOptionalの共通のベース型としてモナド型定義できないかな？と思ったけど現状Sequenceがinitできないから厳密な定義からは逸れてしまうか