--================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
AbsBinds [] [] [([], x{-r3i,x-}, x_an6)]
    x_an6
	=   'a'
{- nonrec -}
{- nonrec -}
AbsBinds [] [] [([], y{-r3h,x-}, y_ana), ([], ys{-r3g,x-}, ys_anb)]
    (y_ana PrelBase.:{-55,p-}{i} ys_anb)
	=   ['a', 'b', 'c'] (PrelBase.Char{-38,p-})
	where
	    {- nonrec -}
	    AbsBinds [] [] [([], p_r3f, p_anj)]
		p_anj
		    =   x{-r3i,x-}
	    {- nonrec -}
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_exports_
ShouldSucceed x y ys;
_declarations_
1 x _:_ PrelBase.Char ;;
1 y _:_ PrelBase.Char ;;
1 ys _:_ [PrelBase.Char] ;;