[incomplete] Add KNormal.hs