testsuite/tests/typecheck/should_compile/T9151.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE PolyKinds, DataKinds, TypeFamilies, UndecidableInstances #-}

module T9151 where

import Data.Proxy

class PEnum (kproxy :: KProxy a) where
  type ToEnum (x :: a) :: Bool
  type ToEnum x = TEHelper

type TEHelper = ToEnum Int