When `fromFile` reads me it will provide the default type Nat.