This type ascription shouldn't be necessary, and it would allow you to remove one of the imports above.