-- type constructor
data KeepKind

-- constructors:
AllTopLevel :: KeepKind
VarTopLevel :: KeepKind

-- instances:
instance Eq KeepKind