Fix KNormal.hs

External functions are now correctly applied.