Eh, are Haskell programmers really in a position to throw stones here? I mean, in Haskell terms, a FactoryFactory corresponds to something like type EventFac

Eh, are Haskell programmers really in a position to throw stones here? I mean, in Haskell terms, a FactoryFactory corresponds to something like type EventFactory = () -> Event type EventFactoryFactory = () -> () -> Event which seems fairly innocuous. Meanwhile, Haskell programs have gems like type Prism s t a b = forall p f. (Choice p, Applicative f) => p a (f b) -> p s (f t)