Type correctly implicit as expression