Labyrinth.Common

type LabState m a