haskell-jp / mokumoku-online #66 at 2024-05-26 14:20:55 +0900

パターンマッチで使えるけど値の定義では使えない構文、といえばasパターンなどですが、値の定義では使えるけどパターンマッチでは使えない構文ってなんかありましたっけ... :thinking_face:

TypeApplications とかか。

なんか拡張つけないと型注釈 (x :: Int) とかも無理だった気がします

ScopedTypeVariables ですかね！確かに！