-- !!! Type decl but no body
module M where
f :: Int -> Bool