diff --git a/.licenses/semantic/cabal/ansi-wl-pprint.txt b/.licenses/semantic/cabal/ansi-wl-pprint.txt
index f44dfe829..6fbe9e30d 100644
--- a/.licenses/semantic/cabal/ansi-wl-pprint.txt
+++ b/.licenses/semantic/cabal/ansi-wl-pprint.txt
@@ -4,7 +4,7 @@ name: ansi-wl-pprint
version: 0.6.8.2
summary: The Wadler/Leijen Pretty Printer for colored ANSI terminal output
homepage: https://github.com/ekmett/ansi-wl-pprint
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright 2008, Daan Leijen and Max Bolingbroke. All rights reserved.
diff --git a/.licenses/semantic/cabal/comonad.txt b/.licenses/semantic/cabal/comonad.txt
index 13bb8f08b..acb95e405 100644
--- a/.licenses/semantic/cabal/comonad.txt
+++ b/.licenses/semantic/cabal/comonad.txt
@@ -4,7 +4,7 @@ name: comonad
version: 5.0.4
summary: Comonads
homepage: https://github.com/ekmett/comonad/
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright 2008-2014 Edward Kmett
Copyright 2004-2008 Dave Menendez
diff --git a/.licenses/semantic/cabal/directory-tree.txt b/.licenses/semantic/cabal/directory-tree.txt
index 9547851e8..76863a67e 100644
--- a/.licenses/semantic/cabal/directory-tree.txt
+++ b/.licenses/semantic/cabal/directory-tree.txt
@@ -4,7 +4,7 @@ name: directory-tree
version: 0.12.1
summary: A simple directory-like tree datatype, with useful IO functions
homepage: https://brandon.si/code/directory-tree-module-released/
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright (c) 2009 Brandon Simmons
diff --git a/.licenses/semantic/cabal/distributive.txt b/.licenses/semantic/cabal/distributive.txt
index a2c55101c..ca8356426 100644
--- a/.licenses/semantic/cabal/distributive.txt
+++ b/.licenses/semantic/cabal/distributive.txt
@@ -4,7 +4,7 @@ name: distributive
version: '0.6'
summary: Distributive functors -- Dual to Traversable
homepage: https://github.com/ekmett/distributive/
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright 2011-2016 Edward Kmett
diff --git a/.licenses/semantic/cabal/ghc-tcplugins-extra.txt b/.licenses/semantic/cabal/ghc-tcplugins-extra.txt
index 70f3bcc0b..1a9ef11e2 100644
--- a/.licenses/semantic/cabal/ghc-tcplugins-extra.txt
+++ b/.licenses/semantic/cabal/ghc-tcplugins-extra.txt
@@ -4,7 +4,7 @@ name: ghc-tcplugins-extra
version: '0.3'
summary: Utilities for writing GHC type-checker plugins
homepage: https://github.com/clash-lang/ghc-tcplugins-extra
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright (c) 2015-2016, University of Twente,
2017-2018, QBayLogic
diff --git a/.licenses/semantic/cabal/ghc-typelits-extra.txt b/.licenses/semantic/cabal/ghc-typelits-extra.txt
index dacd33f02..8ac6c60ec 100644
--- a/.licenses/semantic/cabal/ghc-typelits-extra.txt
+++ b/.licenses/semantic/cabal/ghc-typelits-extra.txt
@@ -4,7 +4,7 @@ name: ghc-typelits-extra
version: '0.3'
summary: Additional type-level operations on GHC.TypeLits.Nat
homepage: https://www.clash-lang.org/
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright (c) 2015-2016, University of Twente,
2017-2018, QBayLogic B.V.
diff --git a/.licenses/semantic/cabal/ghc-typelits-knownnat.txt b/.licenses/semantic/cabal/ghc-typelits-knownnat.txt
index 9b42acb2e..543adce59 100644
--- a/.licenses/semantic/cabal/ghc-typelits-knownnat.txt
+++ b/.licenses/semantic/cabal/ghc-typelits-knownnat.txt
@@ -4,7 +4,7 @@ name: ghc-typelits-knownnat
version: '0.6'
summary: Derive KnownNat constraints from other KnownNat constraints
homepage: https://clash-lang.org/
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright (c) 2016 , University of Twente,
2017-2018, QBayLogic B.V.,
diff --git a/.licenses/semantic/cabal/ghc-typelits-natnormalise.txt b/.licenses/semantic/cabal/ghc-typelits-natnormalise.txt
index 8d3fc7493..dfc1dd9e0 100644
--- a/.licenses/semantic/cabal/ghc-typelits-natnormalise.txt
+++ b/.licenses/semantic/cabal/ghc-typelits-natnormalise.txt
@@ -4,7 +4,7 @@ name: ghc-typelits-natnormalise
version: 0.6.2
summary: GHC typechecker plugin for types of kind GHC.TypeLits.Nat
homepage: https://www.clash-lang.org/
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright (c) 2015-2016, University of Twente,
2017-2018, QBayLogic B.V.
diff --git a/.licenses/semantic/cabal/lens.txt b/.licenses/semantic/cabal/lens.txt
index 79456f4f5..e9ee5cc0e 100644
--- a/.licenses/semantic/cabal/lens.txt
+++ b/.licenses/semantic/cabal/lens.txt
@@ -4,7 +4,7 @@ name: lens
version: '4.17'
summary: Lenses, Folds and Traversals
homepage: https://github.com/ekmett/lens/
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright 2012-2016 Edward Kmett
diff --git a/.licenses/semantic/cabal/megaparsec.txt b/.licenses/semantic/cabal/megaparsec.txt
index ed00ddc68..dde7fe10b 100644
--- a/.licenses/semantic/cabal/megaparsec.txt
+++ b/.licenses/semantic/cabal/megaparsec.txt
@@ -4,7 +4,7 @@ name: megaparsec
version: 7.0.4
summary: Monadic parser combinators
homepage: https://github.com/mrkkrp/megaparsec
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright © 2015–2018 Megaparsec contributors
Copyright © 2007 Paolo Martini
diff --git a/.licenses/semantic/cabal/parsec.txt b/.licenses/semantic/cabal/parsec.txt
index 98f7bee21..18ffa6dc6 100644
--- a/.licenses/semantic/cabal/parsec.txt
+++ b/.licenses/semantic/cabal/parsec.txt
@@ -4,7 +4,7 @@ name: parsec
version: 3.1.13.0
summary: Monadic parser combinators
homepage: https://github.com/haskell/parsec
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright 1999-2000, Daan Leijen; 2007, Paolo Martini. All rights reserved.
diff --git a/.licenses/semantic/cabal/pointed.txt b/.licenses/semantic/cabal/pointed.txt
index 407620892..7a93872d7 100644
--- a/.licenses/semantic/cabal/pointed.txt
+++ b/.licenses/semantic/cabal/pointed.txt
@@ -4,7 +4,7 @@ name: pointed
version: 5.0.1
summary: Pointed and copointed data
homepage: https://github.com/ekmett/pointed/
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright 2008-2011 Edward Kmett
diff --git a/.licenses/semantic/cabal/recursion-schemes.txt b/.licenses/semantic/cabal/recursion-schemes.txt
index d23e18e77..799fa08d6 100644
--- a/.licenses/semantic/cabal/recursion-schemes.txt
+++ b/.licenses/semantic/cabal/recursion-schemes.txt
@@ -4,7 +4,7 @@ name: recursion-schemes
version: '5.1'
summary: Generalized bananas, lenses and barbed wire
homepage: https://github.com/ekmett/recursion-schemes/
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright 2011-2015 Edward Kmett
diff --git a/.licenses/semantic/cabal/semigroupoids.txt b/.licenses/semantic/cabal/semigroupoids.txt
index 5437b91d4..c550918c8 100644
--- a/.licenses/semantic/cabal/semigroupoids.txt
+++ b/.licenses/semantic/cabal/semigroupoids.txt
@@ -4,7 +4,7 @@ name: semigroupoids
version: 5.3.1
summary: 'Semigroupoids: Category sans id'
homepage: https://github.com/ekmett/semigroupoids
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright 2011-2015 Edward Kmett
diff --git a/.licenses/semantic/cabal/semigroups.txt b/.licenses/semantic/cabal/semigroups.txt
index 17e11fee1..fc144883c 100644
--- a/.licenses/semantic/cabal/semigroups.txt
+++ b/.licenses/semantic/cabal/semigroups.txt
@@ -4,7 +4,7 @@ name: semigroups
version: 0.18.5
summary: Anything that associates
homepage: https://github.com/ekmett/semigroups/
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright 2011-2015 Edward Kmett
diff --git a/.licenses/semantic/cabal/syb.txt b/.licenses/semantic/cabal/syb.txt
index 5234efb33..f9f064d43 100644
--- a/.licenses/semantic/cabal/syb.txt
+++ b/.licenses/semantic/cabal/syb.txt
@@ -6,86 +6,86 @@ summary: Scrap Your Boilerplate
homepage: https://www.cs.uu.nl/wiki/GenericProgramming/SYB
license: bsd-3-clause
---
-This library (libraries/syb) is derived from code from several
-sources:
-
- * Code from the GHC project which is largely (c) The University of
- Glasgow, and distributable under a BSD-style license (see below),
-
- * Code from the Haskell 98 Report which is (c) Simon Peyton Jones
- and freely redistributable (but see the full license for
- restrictions).
-
- * Code from the Haskell Foreign Function Interface specification,
- which is (c) Manuel M. T. Chakravarty and freely redistributable
- (but see the full license for restrictions).
-
-The full text of these licenses is reproduced below. All of the
-licenses are BSD-style or compatible.
-
------------------------------------------------------------------------------
-
-The Glasgow Haskell Compiler License
-
-Copyright 2004, The University Court of the University of Glasgow.
-All rights reserved.
-
-Redistribution and use in source and binary forms, with or without
-modification, are permitted provided that the following conditions are met:
-
-- Redistributions of source code must retain the above copyright notice,
-this list of conditions and the following disclaimer.
-
-- Redistributions in binary form must reproduce the above copyright notice,
-this list of conditions and the following disclaimer in the documentation
-and/or other materials provided with the distribution.
-
-- Neither name of the University nor the names of its contributors may be
-used to endorse or promote products derived from this software without
-specific prior written permission.
-
-THIS SOFTWARE IS PROVIDED BY THE UNIVERSITY COURT OF THE UNIVERSITY OF
-GLASGOW AND THE CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
-INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
-FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
-UNIVERSITY COURT OF THE UNIVERSITY OF GLASGOW OR THE CONTRIBUTORS BE LIABLE
-FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
-DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
-SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
-CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
-LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
-OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
-DAMAGE.
-
------------------------------------------------------------------------------
-
-Code derived from the document "Report on the Programming Language
-Haskell 98", is distributed under the following license:
-
- Copyright (c) 2002 Simon Peyton Jones
-
- The authors intend this Report to belong to the entire Haskell
- community, and so we grant permission to copy and distribute it for
- any purpose, provided that it is reproduced in its entirety,
- including this Notice. Modified versions of this Report may also be
- copied and distributed for any purpose, provided that the modified
- version is clearly presented as such, and that it does not claim to
- be a definition of the Haskell 98 Language.
-
------------------------------------------------------------------------------
-
-Code derived from the document "The Haskell 98 Foreign Function
-Interface, An Addendum to the Haskell 98 Report" is distributed under
-the following license:
-
- Copyright (c) 2002 Manuel M. T. Chakravarty
-
- The authors intend this Report to belong to the entire Haskell
- community, and so we grant permission to copy and distribute it for
- any purpose, provided that it is reproduced in its entirety,
- including this Notice. Modified versions of this Report may also be
- copied and distributed for any purpose, provided that the modified
- version is clearly presented as such, and that it does not claim to
- be a definition of the Haskell 98 Foreign Function Interface.
-
+This library (libraries/syb) is derived from code from several
+sources:
+
+ * Code from the GHC project which is largely (c) The University of
+ Glasgow, and distributable under a BSD-style license (see below),
+
+ * Code from the Haskell 98 Report which is (c) Simon Peyton Jones
+ and freely redistributable (but see the full license for
+ restrictions).
+
+ * Code from the Haskell Foreign Function Interface specification,
+ which is (c) Manuel M. T. Chakravarty and freely redistributable
+ (but see the full license for restrictions).
+
+The full text of these licenses is reproduced below. All of the
+licenses are BSD-style or compatible.
+
+-----------------------------------------------------------------------------
+
+The Glasgow Haskell Compiler License
+
+Copyright 2004, The University Court of the University of Glasgow.
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+- Redistributions of source code must retain the above copyright notice,
+this list of conditions and the following disclaimer.
+
+- Redistributions in binary form must reproduce the above copyright notice,
+this list of conditions and the following disclaimer in the documentation
+and/or other materials provided with the distribution.
+
+- Neither name of the University nor the names of its contributors may be
+used to endorse or promote products derived from this software without
+specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE UNIVERSITY COURT OF THE UNIVERSITY OF
+GLASGOW AND THE CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
+INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
+FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+UNIVERSITY COURT OF THE UNIVERSITY OF GLASGOW OR THE CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
+DAMAGE.
+
+-----------------------------------------------------------------------------
+
+Code derived from the document "Report on the Programming Language
+Haskell 98", is distributed under the following license:
+
+ Copyright (c) 2002 Simon Peyton Jones
+
+ The authors intend this Report to belong to the entire Haskell
+ community, and so we grant permission to copy and distribute it for
+ any purpose, provided that it is reproduced in its entirety,
+ including this Notice. Modified versions of this Report may also be
+ copied and distributed for any purpose, provided that the modified
+ version is clearly presented as such, and that it does not claim to
+ be a definition of the Haskell 98 Language.
+
+-----------------------------------------------------------------------------
+
+Code derived from the document "The Haskell 98 Foreign Function
+Interface, An Addendum to the Haskell 98 Report" is distributed under
+the following license:
+
+ Copyright (c) 2002 Manuel M. T. Chakravarty
+
+ The authors intend this Report to belong to the entire Haskell
+ community, and so we grant permission to copy and distribute it for
+ any purpose, provided that it is reproduced in its entirety,
+ including this Notice. Modified versions of this Report may also be
+ copied and distributed for any purpose, provided that the modified
+ version is clearly presented as such, and that it does not claim to
+ be a definition of the Haskell 98 Foreign Function Interface.
+
-----------------------------------------------------------------------------
diff --git a/.licenses/semantic/cabal/wl-pprint.txt b/.licenses/semantic/cabal/wl-pprint.txt
index 3861210b8..5960784d6 100644
--- a/.licenses/semantic/cabal/wl-pprint.txt
+++ b/.licenses/semantic/cabal/wl-pprint.txt
@@ -4,7 +4,7 @@ name: wl-pprint
version: 1.2.1
summary: The Wadler/Leijen Pretty Printer
homepage:
-license: bsd-3-clause
+license: bsd-2-clause
---
Copyright 2000, Daan Leijen. All rights reserved.