SizedDataWrongPol.err

--- opening "SizedDataWrongPol.ma" ---
--- scope checking ---
--- type checking ---
error during typechecking:
Nat
/// sized type Nat has wrong polarity annotation - at Size argument, it should be +