newBlackPlace :: Monad m => [value] -> MkPNMonad m value PlaceNo
    newBlackPlace = newPlace BlackPlaceType
newBlackPlace :: Monad m => [value] -> MkPNMonad m value PlaceNo
newBlackPlace = newPlace BlackPlaceType
newBlackPlace = newPlace BlackPlaceType