In a pattern binding, a type sig in the pattern cannot bind a type variable