<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Dec 4, 2020, at 10:29 AM, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" class="">mail@joachim-breitner.de</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><span style="caret-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-size: 11px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">I think NoStarIsType, as sensible it may be to most of us, _will_ deepy</span><br style="caret-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-size: 11px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-size: 11px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">annoy some people. Let’s build credibility and acceptance with GHC2021,</span><br style="caret-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-size: 11px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-size: 11px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">and have lots of happy people out there. And (if anything!) use later</span><br style="caret-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-size: 11px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-size: 11px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">versions to do more contentious things.</span></div></blockquote></div><br class=""><div class="">I deeply dislike -XStarIsType. But I'm convinced here. My updated vote is below.</div><div class=""><br class=""></div><div class="">Richard</div><div class=""><br class=""></div><div class=""><div dir="ltr" class=""><b class="">Module System<br class="">=============</b><br class=""><br class="">ImportQualifiedPost: yes<br class="">PackageImports: obscure<br class="">NoImplicitPrelude: breaking<br class=""><br class=""><b class="">Notation<br class="">========</b><br class=""><br class="">BlockArguments: yes<br class="">MultiWayIf: might change<br class="">LambdaCase: might change<br class="">BinaryLiterals: yes<br class="">HexFloatLiterals: yes<br class="">NumericUnderscores: yes<br class="">NumDecimals: yes<br class="">OverloadedStrings: bad for beginners<br class="">OverloadedLists: bad for beginners<br class="">OverloadedLabels: obscure<br class="">EmptyCase: yes<br class="">PostfixOperators: yes<br class="">LexicalNegation: yes<br class="">UnicodeSyntax: yes<br class="">NegativeLiterals: superseded<br class="">TupleSections: yes<br class="">ImplicitParams: obscure<br class="">ParallelListComp: yes<br class="">RecursiveDo: obscure<br class="">TransformListComp: obscure<br class="">Arrows: obscure<br class="">ApplicativeDo: breaking<br class="">QualifiedDo: too fresh<br class="">MonadComprehensions: bad for beginners<br class="">NondecreasingIndentation: obscure</div><div dir="ltr" class="">RebindableSyntax: breaking<br class="">ExplicitNamespaces: yes<br class=""><div class=""><br class=""></div><div class=""><b class="">Data Types<br class="">==========<br class=""></b><br class="">DatatypeContexts: no<br class="">ExistentialQuantification: yes<br class="">EmptyDataDecls: yes<br class="">RoleAnnotations: yes<br class="">StrictData: breaking<br class="">GADTSyntax: yes<br class="">GADTs: obscure<br class=""></div><div class=""><br class=""></div><div class=""><b class="">Patterns and Guards<br class="">===================</b><br class=""><br class=""></div><div class="">BangPatterns: yes<br class="">ViewPatterns: yes<br class="">PatternSynonyms: too fresh<br class="">NoPatternGuards: breaking<br class="">NPlusKPatterns: deprecated<br class=""><br class=""><b class="">Records<br class="">=======</b><br class=""><br class="">NamedFieldPuns: yes<br class="">RecordWildCards: confusing<br class="">DisambiguateRecordFields: yes<br class="">DuplicateRecordFields: might change<br class="">NoTraditionalRecordSyntax: no<br class=""><br class=""></div><div class=""><b class="">Deriving<br class="">=======</b><br class=""><br class="">DeriveGeneric: yes<br class="">DeriveLift: yes<br class="">DeriveDataTypeable: yes<br class="">EmptyDataDeriving: yes<br class="">StandaloneDeriving: yes<br class="">DeriveFunctor: yes<br class="">DeriveFoldable: yes<br class="">DeriveTraversable: yes<br class="">DerivingStrategies: yes<br class="">DerivingVia: yes<br class="">GeneralisedNewtypeDeriving: yes<br class="">DeriveAnyClass: dangerous<br class=""></div><div class=""><br class=""></div><div class=""><b class="">Class System<br class="">============</b><br class=""><br class="">MultiParamTypeClasses: yes<br class="">NullaryTypeClasses: superseded<br class="">ConstraintKinds: yes<br class="">TypeSynonymInstances: yes<br class="">FlexibleInstances: yes<br class="">FlexibleContexts: yes<br class="">ConstrainedClassMethods: yes<br class="">DefaultSignatures: yes<br class="">InstanceSigs: yes<br class="">ExtendedDefaultRules: might change<br class="">FunctionalDependencies: obscure<br class="">QuantifiedConstraints: too fresh<br class="">UndecidableInstances: dangerous<br class="">IncoherentInstances: dangerous<br class="">UndecidableSuperClasses: dangerous<br class="">OverlappingInstances: superseded<br class=""><b class=""><br class=""></b></div><div class="">Types<br class=""><b class="">=====</b><br class=""><br class="">RankNTypes: yes<br class="">StandaloneKindSignatures: yes<br class="">KindSignatures: yes<br class="">LiberalTypeSynonyms: confusing<br class="">ScopedTypeVariables: might change<br class="">ExplicitForAll: yes<br class="">AllowAmbiguousTypes: dangerous<br class="">ImpredicativeTypes: too fresh<br class="">MonoLocalBinds: breaking<br class="">NoMonomorphismRestriction: debate!<br class="">PartialTypeSignatures: obscure<br class="">NamedWildCards: yes<br class="">LinearTypes: too fresh<br class="">TypeApplications: yes<br class="">PolyKinds: yes<br class="">TypeOperators: yes<br class="">StarIsType: yes<br class="">TypeFamilies: obscure<br class="">TypeFamilyDependencies: obscure<br class="">DataKinds: might change<br class=""><br class=""></div><div class=""><b class="">FFI<br class="">===</b><br class=""><br class="">ForeignFunctionInterface: yes<br class="">CApiFFI: obscure<br class="">GHCForeignImportPrim: obscure<br class="">InterruptibleFFI: obscure<br class="">UnliftedFFITypes: obscure<br class="">StaticPointers: obscure<br class=""><br class=""><b class="">Low Level<br class="">=========</b><br class=""><br class="">UnboxedSums: obscure<br class="">UnboxedTuples: obscure<br class="">MagicHash: obscure<br class="">UnliftedNewtypes: yes<br class=""><br class=""><b class="">Macros<br class="">======</b><br class=""><br class="">CPP: obscure<br class="">TemplateHaskell: TH<br class="">TemplateHaskellQuotes: yes<br class="">QuasiQuotes: TH</div><div class=""><br class=""></div><div class=""><br class=""><b class="">Other<br class="">=====</b><br class=""><br class="">Unsafe: no<br class="">Safe: no<br class="">Trustworthy: no<br class="">Strict: no<br class=""><br class=""><b class="">Obsolete/Deprecated<br class="">===================</b><br class=""><br class=""></div><div class="">CUSKs: no<br class="">TypeInType: no<br class="">MonadFailDesugaring: maybe</div></div></div></body></html>