blob: 530b1f5241a0779b604ceb11ffbec39313d36f22 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE UnliftedNewtypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE MagicHash #-}
module UnliftedNewtypesConstraintFamily where
import Data.Kind (Type,Constraint)
data family D (a :: Type) :: Constraint
|