generated at
2/18/2025, 4:38:14 PM
GHC-9.2.1
release
rc
alpha-2
alpha1-
https://zenn.dev/mod_poppo/articles/ghc-9-2-and-future
RecordDotSyntax
NoFieldSelectors
DuplicateRecordFields
with
PatternSynonyms
UnliftedDataTypes
型レベル演算の強化
型レベルChar
比較演算
Nat kindがNatural型のエイリアスに