List { mapKey : Text, mapValue : ∀(x : Bool) → Bool }