testsuite/tests/typecheck/should_compile/T5792.hs


1
2
3
4
5
6
7
8
9
10

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

module T5792 where


data T = TT
type family Compare (m :: T) :: Ordering  
type instance Compare TT = Compare TT

type Compare' a = Compare a