Test.StateMachine.Internal.Types.Environment
data Environment
data EnvironmentError
emptyEnvironment
insertConcrete
reifyDynamic
reifyEnvironment
reify