Wie spricht man diese Funktionen in der anwendbaren Typenklasse aus:

(<*>) :: f (a -> b) -> f a -> f b
(*>)  :: f a -> f b -> f b
(<*)  :: f a -> f b -> f a

(Das heißt, wenn sie keine Operatoren wären, wie könnten sie heißen?)

ls Randnotiz, wenn Sie @ umbenennen könntpure zu etwas Freundlicherem für Nicht-Mathematiker, wie würdest du es nennen?