replace to eq from ==
use named_let