import           Transformations.Substitution (Substitution, apply)
import           Trees.Tree

{-|
A state over some type a.
-}
newtype State a =
  State a
  deriving (Eq,Ord,Generic)

{-|
Show instance for states.
-}
instance (Show a) => Show (State a) where