Hasse--Schmidt modules versus integrable connections

We prove that, in characteristic 0, any Hasse-Schmidt module structure can be recovered from its underlying integrable connection, and consequently Hasse–Schmidt modules and modules endowed with an integrable connection coincide.