blob: 9bb59c807a5e197a757afb8deedae880315ae0a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeInType #-}
module T15343 where
import Data.Kind
elimSing :: forall (p :: forall z. z). p
elimSing = undefined
data WhySym :: Type -> Type
hsym = elimSing @WhySym
|
