9 lines
161 B
Haskell
9 lines
161 B
Haskell
|
{-# LANGUAGE ExistentialQuantification #-}
|
||
|
module Types.StageSet where
|
||
|
|
||
|
-- internal imports
|
||
|
|
||
|
import Classes.Prop
|
||
|
|
||
|
data StageSet = forall a. Prop a => StageSet a
|