newNumericPlace :: Monad m => Width -> [value] -> MkPNMonad m value PlaceNo
    newNumericPlace 0 = newBlackPlace
newNumericPlace :: Monad m => Width -> [value] -> MkPNMonad m value PlaceNo
newNumericPlace 0 = newBlackPlace
newNumericPlace 0 = newBlackPlace