Could it have been "Sean, Sean the Leprechaun"? I recall a Belfast singer/songwriter by the name of Donough McManus writing a song with that title in the late 60s/early 70s. I think the Irish Rovers may have recorded it at the time.