[monad] changed: (filter, map, sequence) -> (Filter, Map, Sequence)