<*> + pure Haskell ` pure ()