f xs y＝read y:xs