signature H where
x :: Bool