(f >=> g) k = f k >>= g