rght [Dmd=SL] :: AList a