[nullValue] == []を満たすnullValueはありますか？

Question

は、私はそのようなプログラムを持っている：

foo x = if x == 0 
      then [] 
      else [x] 

をしかし、私はそれをこのように作ってみる：

foo x = (:[]) $ if x == 0 
        then nullValue 
        else x 

私はトラブルnullValueが満たす[nullValue] == []は、誰かがこのうち私を助けることができることは何かを考え出すを持っていますか？ （Maybeを導入すると悪化する）

ハードルはタイプシステム/タイプチェックですか？

Answer 1

:は、空でないリストのコンストラクタです。その結果は、それを適用するオペランドに関係なく、空のリストになることはありません。

Answer 2

をData.Maybeから絞ることができる場合は、Just/Nothingをあなたのリストに含めることができます。

foo x = catMaybes . (:[]) $ if x == 0 
           then Nothing 
           else Just x