Hardened generic parameters.
Hardened generic type parameters even more.
More tests for Try monad