Provide an argument to hm-typing