Try monad becomes TryOption monad
 - Still very work in progress