T3023.hs:18:1: Warning:
    Top-level binding with no type signature: bar :: Bool -> Bool