Visibility mismatch between data declaration and kind signature, accepted!
```haskell
{-# Language PolyKinds #-}
{-# Language RankNTypes #-}
{-# Language StandaloneKindSignatures #-}
import Data.Kind
type ID :: forall i -> i -> Type
data ID :: forall i -> i -> Type
```
This compiles on 8.10.0.20191123, if we change the standalone kind signature `forall->` to `forall.` we get an error. Obviously?
```haskell
-- • Couldn't match expected kind ‘forall i1 -> i1 -> *’
-- with actual kind ‘i -> *’
-- • In the data type declaration for ‘ID’
-- |
-- 8 | data ID :: forall i -> i -> Type
-- | ^^^^^^^
type ID :: forall i. i -> Type
data ID :: forall i -> i -> Type
```
But then why does this compile
```haskell
type ID :: forall i -> i -> Type
data ID :: forall i. i -> Type
```
issue