Agda.Interaction.BasicOps
data Rewrite
data OutputForm a b
data OutputForm' a b