Funções Invariantes em Haskell98
