testsuite/tests/driver/T13803/E.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE TypeFamilies #-}
module E where

import                Data.Kind (Type, Constraint)
import {-# SOURCE #-} Y

data E

type family CF a :: Type -> Constraint
type instance CF E = Y