nat.hs