a Royal Edinburgh asylum for the insane