Is it possible to add HLint rule to require INLINABLE

Say I have type-class

class Foo a where
   foo :: MonadFoo m => m a

I'd want to require that all foo = bindings have {-# INLINABLE foo #-} (or INLINE) in the same scope. AFAIU this cannot be implement as user hint.

instance Foo Int where
    foo = ...
    {-# INLINABLE foo #-}

I'll be perfectly happy if all foo = should have {-# INLINABLE foo #-} attached, independencly if they are actually instance methods or not. It would be my problem to turn false positives (I doubt I'll have local variables named foo e.g.).

Start by tracing how HLint represents user hints and how it identifies function bindings and pragmas. Define the rule's scope from the examples: report bindings named foo that lack an attached INLINABLE or INLINE pragma, including instance methods, and add coverage for the shown class and instance forms.