hand:left 5 |>
  | :l n -> n * 2
  | :r n -> n * 3
. hand =
  : l int
  : r int