Exported ++ˡ and ++ʳ from Data.List.Any.Properties