monads.ml: add TP to Error