ラムダ抽象で再帰的なデータ型を表現する方法

Lazy Kのリストはこれ

パターンマッチが得意？