blob: 8494537c7cf243c45e1cc5cfe748b4073c14a9ec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE MonoLocalBinds #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE UndecidableSuperClasses #-}
module T20043 where
import Data.Kind
data T1
data T2
type All :: Type -> Type -> Constraint
class All T1 xs => All c xs
repo :: forall (a :: Type). All T2 a => a -> a
repo x =
let y = undefined @a
in x
|
