blob: a2baf8ca5cfb6c192cba5eed82bed4f74ac9aa79 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE UnliftedNewtypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE MagicHash #-}
module UnliftedNewtypesFamilyKindFail2 where
import Data.Kind (Type)
data family F k :: k
newtype instance F 5 = MkF (F 5)
|
