data LList : Type -> Type
Nil : LList a
(::) : a -@ (LList a -@ LList a)
Consumable a => Consumable (LList a)
Duplicable a => Duplicable (LList a)
length : Consumable a => LList a -@ LNat