got rid of Result supertype, Mergeable