added call displaying to monadic functions