pure (Haskell ())