[westurner]

Does aliasing the types work?

  def MemoMap := HashMap Nat Nat
  def MemoResult := Nat × MemoMap

  let rec helperMemo : Nat → MemoMap → MemoResult

[tossandthrow]

Record types would likely help a lot also.

Tupples don't really indicate what I can expect from the members.