高階型が出来たとして、Sequenceの上位にMonadとかFunctorとか整備されるのか微妙に気になるw