:: Natural -> Nat package:Agda