再帰的な型です。 data Stack a = Empty | Push a (Stack a) 上記のように自分自身を型の宣言に使えます。と言うわけで本に書いてあった例を基にして、サンプルを作ってみました。 data Stack a = Empty | Push a (Stack a) isEmpty :: Stack a -> Bool isEm…