recursive call with more specific type arguments

[lue-bird]

• very short example calling function recursively with different type arguments elm/compiler#2180
• short example Type error for correct code using a polymorphic recursive function elm/compiler#2275
• details, decide-ability without annotation: Incorrect type mismatch when recursing with a wrapped type variable elm/compiler#1964