interface OneB where

fB :: a -> a