Experiments with try-let and tagged tuples using type classes