"fmap" と "extract" によりwは余基点付き函手となる。