let mk_one = 
  mk_app mult []