Implement specialized Try/Success/Failure with macro combinators