1data PlusLevel' t = Plus Integer (LevelAtom' t)  -- ^ @n + ℓ@.
2  deriving (Show, Data)
3