Maybe just “represents a function `a -> Signal b`.” The word “arrow” and the  `~>` operator seem to indicate that we're talking about homomorphisms in a category other than the category of Haskell types.

Alternatively, you could say “This class forms an arrow `a ~> b` in the Kleisli category of signals” or some such, but I think there's no need for such obscurity here...