module T17140 where

data B

mapP_B :: (Int -> Int) -> B -> B