如何使用 GHood 或 Vacuum 观察此递归函数？

Question

我正在使用 GHood 来观察分区函数的执行情况，并期望看到一棵二叉树。相反，我得到了这棵树：

import Debug.Observe

p :: (Observable a, Ord a, Num a) => a -> a -> a
p k n 
  | k > n = 0
  | k == n = 1
  | otherwise = (observe "left" p (k+1) n ) + (observe "right" p k (n-k))

>>> printO $ observe  "p" p 1 3

我也尝试使用 Data.Number.Natural 根据 irc 上的建议。

当使用 Vacuum.Cairo 时，我得到的返回值甚至更少，只有函数运行完成的结果。

>>> m: + System.Vacuum.Cairo
>>> view $ p 1 5