Description of the change

Breaking changes that will be made in v0.15.x. Removes syntax that was deprecated in v0.14.x.

# Type was replaced with Row Type:

-- 0.13.x
data RProxy (rows :: # Type) = RProxy
-- 0.14.x
data RProxy (rows :: Row Type) = RProxy

kind declarations, imports, and exports no longer require use a keyword of 'kind'.

-- 0.13.x
module Foo (kind MyKind) where

import Bar (kind AnotherKind)

foreign import kind MyKind
foreign import data Foo :: MyKind

-- 0.14.x
module Foo (MyKind) where

import Bar (AnotherKind)

data MyKind
foreign import data Foo :: MyKind

Checklist:

• Added a file to CHANGELOG.d for this PR (see CHANGELOG.d/README.md)
• Added myself to CONTRIBUTORS.md (if this is my first contribution)
• Linked any existing issues or proposals that this pull request should close
• Updated or added relevant documentation
• Added a test for the contribution (if applicable)