module B where

b :: a -> a