C++的std :: bind2nd是否有内置的Haskell等价物？

template< class F, class T1 >
auto bind2nd( F&& func, T1&& arg1 )
    -> decltype( std::bind( std::forward<F>(func), std::forward<T1>(arg1) ) );

class Functor f => Applicative f where
  pure :: a -> f a
  (<*>) :: f (a -> b) -> f a -> f b

instance Functor ((->) r) where
  pure = const
  (<*>) f g = f . g

instance Applicative ((->) r) where
  pure = const
  (<*>) f g = f . g

apply :: (Functor f, Applicative g) => f (a -> b) -> g a -> g b
apply = fmap . pure