--================================================================================
Typechecked:
{- nonrec -}
d.Monad_aGO =
    PrelBase.$d24{-rb1,p-}
>>=_aGV =
    PrelBase.>>={-811,p-}
	PrelBase.[]{-3j,p-}
	d.Monad_aGO
d.Monad_aGR =
    d.Monad_aGO
return_aGW =
    PrelBase.return{-816,p-}
	PrelBase.[]{-3j,p-}
	d.Monad_aGR
{- nonrec -}
AbsBinds [] [] [([], x{-r3,x-}, x_aGp)]
    x_aGp
	=   [[PrelBase.True{-5E,p-}{i}] (PrelBase.Bool{-34,p-})] ([PrelBase.Bool{-34,p-}])
{- nonrec -}
{- nonrec -}
AbsBinds [] [] [([], xs{-r2,x-}, xs_aGx)]
    xs_aGx
	=   [ x_r3j |
		x_r3h <- x{-r3,x-}, x_r3j <- x_r3h ]
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_usages_
PrelBase 1 :: $d23 1 $d24 1 Monad 1 MonadZero 1;
_exports_
ShouldSucceed x xs;
_declarations_
1 x _:_ [[PrelBase.Bool]] ;;
1 xs _:_ [PrelBase.Bool] ;;