>>355
b = Generator aとすると

IO (Generator a)
= IO b
= Generator b