inlinable, >>= leak, potential mtl change