-- | Traversal of direct children of statement
substmts ::
    Applicative f =>
    ([StatementF text] -> f [StatementF text]) ->
    StatementF text -> f (StatementF text)
substmts f (Local dl) = Local <$> f dl
substmts ::
    Applicative f =>
    ([StatementF text] -> f [StatementF text]) ->
    StatementF text -> f (StatementF text)
substmts f (Local dl) = Local <$> f dl
substmts f (Local dl) = Local <$> f dl