2:1:singleton types require 2 or 3 arguments, but 1 were provided