Constインスタンスの<*>が2つの非機能的な値を受け入れるのはなぜですか？

Question

(<*>) :: Applicative f => f (a -> b) -> f a -> f b 
Const :: a -> Const a b 
Monoid m => Applicative (Const * m) 

Const "a" <*> Const "b" -- yields Const "ab" 
Const a <*> Const a = Const a <> Const a 

この動作は、Constがバイナリタイプのコンストラクタであるという事実と関係があります。bには決して触れません（ファントムタイプ）。しかし、この場合、a（それぞれ*）が破棄されたように見えるので、私はConst * mを理解しません。

Answer 1

最初にmがMonoidインスタンスを持つ場合、Const mはApplicativeインスタンスを持ちます。しかしApplicative (Const m)ため<*> のタイプは

 (<*>) :: Const m (a -> b) -> Const m a -> Const m b 

を読み込むようConst mは、まだ型コンストラクタで今Const "a"とConst "b"にこれを適用してみましょう：

Const "a"はタイプConst String bです。ここでは、上記のタイプ変数mはタイプStringを想定しています。値はbに関してまだ多様であり、その型の具体的な値が含まれていないので、型は何でも構いません。

発現Const "a" <*> Const "b"における多型値Const "a"型Const String (a->b)であることが余儀なくされ、多型値Const "b"型Const String aであることを余儀なくされます。

実際には、左側に関数型の型があります。具体的な値には、Maybe (Int -> Int)の値Nothingのような関数が含まれていません。

PS .: *がどこから来るのか分かりません。Monoid m => Applicative (Const * m)です。私はGHCiの中

:info Const 

を入力すると、私は

instance Monoid m => Applicative (Const m)