blob: 4c5dac730f76e76334e4706477f1da4a4f9c6168 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeInType #-}
module T14845_fail2 where
import Data.Coerce
import Data.Kind
data A :: Type -> Type where
MkA :: Coercible a Int => A a
data SA :: forall a. A a -> Type where
SMkA :: SA MkA
|