2 Warning: Pattern match(es) completely overlapped
3 in the definition of function `f'
5 Warning: Pattern match(es) completely overlapped
6 in the definition of function `f'
8 Warning: Possibly incomplete patterns
9 in the definition of function `g'
12 ================================================================================
15 _forall_ [t{-an6-}] => t{-an6-} -> t{-an6-}
18 _/\_ t{-an6-} -> \ x_r3e ::
25 [t{-anr-} t{-anA-} t{-anC-}]
27 t{-anA-} -> t{-anC-} -> t{-anr-} -> t{-anr-}
30 _/\_ t{-anr-} t{-anA-} t{-anC-} -> \ x_r3k ::
45 GHCerr.patError{-8r,p-}
46 _@_ t{-anr-} _string_ "ds002.hs:11|function `g'" } in