git.iko.soy/rel8
on 00a36f5 help sign in
rel8/src/Rel8/Opaque.hs
20 lines 262 B history raw
1{-# language PolyKinds #-}
2{-# language StandaloneKindSignatures #-}
4module Rel8.Opaque
5 ( Opaque
6 , Opaque1
7 )
8where
10-- base
11import Data.Kind ( Type )
12import Prelude ()
15type Opaque :: Type
16data Opaque
19type Opaque1 :: k -> Type -> Type
20data Opaque1 a x