Data.Nat: missing ()