BoundedNat.idr 380 Bytes