データ構造が空でないことを表現するのにnot emptyとかではなくて肯定的に表現することってできないかな。

isEmpty [] = True

isEmpty _ = False

だとなんか思考に負荷がかかる。