let
always x () = x