Agda.Interaction.GhciTop
data State
data Status
data Lisp a
class LowerMeta a