Insert type doesn't handle infix function

[isaiah]

e.g.

  Loop :: Loop v s f (a -> b) -> Loop v s f a -> Loop v s f b
  Loop f <*> (Loop k) = ...

The function should be (<*>), instead of the first string of the line.