We should spec this and spec `CallBackFun`.