☰
LNode
🌌LNode
§ LNode(CTK type :hasHash LNode.CTK, CTV type, from Sequence (SNode LNode.CTK LNode.CTV)) => LNode LNode.CTK LNode.CTV:Sequence SNode LNode.CTK LNode.CTV
§ LNode(CTK
type
:hasHash LNode.CTK, CTV type
, from Sequence (SNode LNode.CTK LNode.CTV)) =>
LNode LNode.CTK LNode.CTV:
Sequence SNode LNode.CTK LNode.CTV
NYI instead of Sequence we should use something like the original implementation ListMap(Scala).