blob: cfecdb693ef2f0a0ad432513ffb2739ac7f9c5ed (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE UnliftedNewtypes #-}
module T15883e where
import GHC.Exts
import Data.Data (Data)
newtype Foo rep = MkFoo (forall (a :: TYPE rep). a)
deriving stock instance Data (Foo (BoxedRep Lifted))
|
