サイズ付きリスト

code:haskell

import Control.Comonad.Cofree

import Control.Comonad.Trans.Cofree qualified as F

import Data.Functor.Foldable

type SzL a = Cofree (ListF a) Int