let always x () = x