効果の順序を逆にする適用ファンクタ

Question

適用ファンクタfが与えられたので、私は新しい適用ファンクタRev fをfのように変更しましたが、効果の順序は逆になりました。ここでは、次のとおりです。

import Control.Applicative 

newtype Rev f a = Rev {unRev :: f a} 

instance Functor f => Functor (Rev f) where 
    fmap f (Rev fx) = Rev (fmap f fx) 

instance Applicative f => Applicative (Rev f) where 
    pure x = Rev (pure x) 
    (Rev ff) <*> (Rev fx) = Rev (pure (\x f -> f x) <*> fx <*> ff) 

私の質問は

1. ある（それはApplicativeの法律に従わない）有効Applicativeインスタンスということですか？
2. この構成には名前がありますか？これはどこかに隠れているモジュールがありますか？

Answer 1

IRCのフレンドリーな人々は、transformersパッケージによって提供されるBackwards申請者を指しています。標準ライブラリで利用可能な(<**>)オペレーターが好きかもしれません。