If HIE files track this information, we can advice using SPECIALIZE pragmas for some functions (for example, that polymorphic over MonadIO, Num or IsString constraints)