remove incorrect Monad (Vec n)
overload Function::call
expand some Robust functions