blob: a3cbee4a24f3a9b19758cecf6e4a0e86288c92b5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE PolyKinds, DataKinds, TypeFamilies, UndecidableInstances,
StandaloneKindSignatures #-}
module T9151 where
import Data.Kind
import Data.Proxy
type PEnum :: KProxy a -> Constraint
class PEnum (kproxy :: KProxy a) where
type ToEnum (x :: a) :: Bool
type ToEnum x = TEHelper
type TEHelper = ToEnum Int
|