blob: 6b1280f344c74c41f1b85a5aaeb2e30159a77060 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module T16183 where
import Data.Kind
$([d| type F1 = (Maybe :: Type -> Type) Int
type F2 = (Int :: Type) -> (Int :: Type)
type family F3 a where
F3 (a :: Type) = Int
newtype F4 = MkF4 (Int :: Type) |])
|
