ヲヲヲ welcome to the Uncommons
(up to a symplectomorphic cobordism)
data OpenGame ∆ c a b x s y r = OpenGame
{
play :: a -> ∆ x s y r,
evaluate :: a -> c x s y r -> b
}
there is no official _ universe-agent
every _ is the unofficial universe-agent
sincerely yours
the reafferent reaberrant