基本ライブラリにいくつかの大きな変更があったので、今日の慣用的な解決策にはfmap、Maybe、Monoid、およびおそらく他のクラスFirstが含まれるかどうか疑問に思っています。Foldable
、、およびfoldの複雑な構造が必要になると考えましたMonoidが、これらのものを一緒に構成する明確な方法を見つけることができませんでした。zip [1..]Firsta -> BoolMaybe
また、このコードのほとんどはライブラリにあると思われます。newtype必要な構造を取得するためにクラスを構成する必要があるかどうか (またはいくつ) のラッパーが必要かどうかはわかりません。