Map: type of Base
Import: import Base
Lines 98-101 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=98&end_line=101

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String