Answer: (α, α, [α]) → [α]

Explanation. The definition is 

  f(x,y,z) = x::y::z
Because of expression x::y::z, z must be a list (say, type [α]). x and y have type α.

So f takes a tuple of type (α, α, [α]) and yields a list of type [α].