blob: b6693d3d8a0645f1874780edb6b34d3613f9c723 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE UnliftedNewtypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TypeApplications #-}
module UnliftedNewtypesOverlap where
import GHC.Exts
data family DF :: TYPE r
data instance DF @LiftedRep = MkDF4 | MkDF5
newtype instance DF @LiftedRep = MkDF6 Int
|