testsuite/tests/typecheck/should_compile/T15428.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeInType #-}
module T15428 where

data Flurmp
type family Pure (x :: a) :: f a

type T = Pure Flurmp Flurmp