Pure、ホントに性悪

• 型の表記として、 [A, B] => B は許されている。
• 命題の表記として、[| P; Q |] ==> R は許されていない。まさかの未定義！

Pureを生で使ってはいけないのは、こういう変な癖があって使いにくいからか。

この奇妙な文法の背景が分からない。