Consider the following message:

  Hole 'h' has the inferred type
  
    s0 -> Array (HTML p1 t2)
  
  You could substitute the hole with one of these values:
  
    h                           :: s0 -> Array (HTML p1 t2)
    Data.Monoid.mempty          :: forall m. Monoid m => m
    Unsafe.Coerce.unsafeCoerce  :: forall a b. a -> b
  
  in the following context:
  
    f :: a3 -> b4
    g :: c5 -> d6
    h :: s0 -> Array (HTML p1 t2)
    i :: b4 -> t2
    o :: s0 -> Maybe c5
  
  in value declaration profunctorForm

It would be nice if under "in the following context:", the items h, i, and o were highlighted in some way. They contain matching type variables so are very likely to be relevant. Otherwise, especially with the compiler-synthesized names this is kind of difficult to see. If someone has an idea for a better heuristic that would be great.