Add examples for type Either a b - in this case, Either String Code