Haskell基于语法生成无限流

Question

假设我们有以下语法：

#x =整数| （#x + #x）
INT = 0 | 1

假设现在我想制作一个无限流，它“包含” #x的每种可能形式。

这是到目前为止我能想到的：

atomic :: [String]
atomic = ["0", "1"]
--------------------
plus :: String -> String -> String
plus x1 x2 = "(" ++ x1 ++ "+" ++ x2 ++ ")"
--------------------
makeInfiniteStream :: [String]
makeInfiniteStream = atomic : --something

我不太确定结肠另一边的情况。我认为它必须包含一个函数调用，但是我还不太清楚。

谢谢。