let
v = [] :: [
K
.null,
V
.top]::
L
.v