add funcallStat util function
inline Eff monad ops
add a doc line