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