type Map
import Base98type Map<a, -V: Kind(a)> is Kind(a):
99 MTip{}
100 MLeaf{key: String, val: V}
101 MNode{pos: Nat, lo: Map<a, V>, hi: Map<a, V>}
import Base98type Map<a, -V: Kind(a)> is Kind(a):
99 MTip{}
100 MLeaf{key: String, val: V}
101 MNode{pos: Nat, lo: Map<a, V>, hi: Map<a, V>}