func = do
  let foo True = True
      foo _    = False
  return ()