Здравствуйте, awk, Вы писали:

awk>Объясните, пожалуйста, что не так, и как это можно исправить (с примером, если можно ).

Ну не может он вывести какой тип будет у newX! Исправить можно двумя способами:
1) добавить {-# LANGUAGE NoMonomorphismRestriction #-}
2) переписать по-нормальному