It adds the context before the "instance" keyword e.g. ```haskell data Bla deriving <adds-it-here> instance Eq Bla deriving instance <should-be-here> Eq Bla ```