ds019.hs:7: 
    Warning: Pattern match(es) completely overlapped
	in the definition of function `f'
ds019.hs:8: 
    Warning: Pattern match(es) completely overlapped
	in the definition of function `f'


================================================================================
Desugared:
f{-r3G,x-}  :: 
    _forall_
    [t{-aBG-} t{-aBJ-} t{-aBM-} t{-aBY-} t{-aC1-} t{-aC9-} t{-aC7-}]
    =>
    (t{-aBG-}, t{-aBJ-}, t{-aBM-})
    -> (t{-aBY-}, t{-aC1-})
    -> t{-aC9-}
    -> [t{-aC7-}]
{-# L #-}
f{-r3G,x-} =
    _/\_ t{-aBG-} t{-aBJ-} t{-aBM-} t{-aBY-} t{-aC1-} t{-aC9-} t{-aC7-} -> \ ds_dGA  :: 
										 (t{-aBG-}, t{-aBJ-}, t{-aBM-})
									     {-# L #-}
									     ds_dGA i_r3h  :: 
											(t{-aBY-}, t{-aC1-})
										    {-# L #-}
										    i_r3h o_r3j  :: 
											      t{-aC9-}
											  {-# L #-}
											  o_r3j ->
	case ds_dGA of { PrelTup.(,,){-63,p-}{i} a_r3d b_r3e c_r3f  ->
	PrelBase.[]{-5i,p-}{i}
	    _@_ t{-aC7-};}