Address review comments

Author: tdammers

typed-protocols-doc/CHANGELOG.md

@@ -0,0 +1,14 @@
+Copyright 2019-2021 Input Output (Hong Kong) Ltd.
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.
+

typed-protocols-doc/NOTICE

@@ -7,14 +7,22 @@ license:            Apache-2.0
 license-file:       LICENSE
 author:             Tobias Dammers
 maintainer:         tobias@well-typed.com
-copyright:          2023 IO Global
+copyright:          2023 Input Output Global Inc (IOG), 2023-2024 Intersect
 category:           Network
 build-type:         Simple
--- extra-doc-files:    CHANGELOG.md
+extra-doc-files:    CHANGELOG.md
+                    NOTICE
 -- extra-source-files:
 
 common warnings
     ghc-options: -Wall
+                 -Wno-unticked-promoted-constructors
+                 -Wcompat
+                 -Wincomplete-uni-patterns
+                 -Wincomplete-record-updates
+                 -Wpartial-fields
+                 -Widentities
+                 -Wredundant-constraints
 
 library
     import:           warnings