================================================================================
Desugared:
Rec {
d.MonadPlus_aXs  :: 
    {PrelBase.MonadPlus{-2a,p-} PrelBase.[]{-3j,p-}}
{-# L #-}
d.MonadPlus_aXs =
    PrelBase.$d22{-rp7,p-}
++_aYK  :: 
    _forall_
    [rjy{-aWo-}]
    =>
    [rjy{-aWo-}] -> [rjy{-aWo-}] -> [rjy{-aWo-}]
{-# L #-}
++_aYK =
    PrelBase.++{-roG,p-}
	_@_ PrelBase.[]{-3j,p-} d.MonadPlus_aXs
f{-r3t,x-}  :: 
    _forall_
    [rjy{-aWN-} t{-aWT-} t{-aXo-}]
    =>
    [rjy{-aWN-}] -> t{-aXo-} -> [t{-aWT-}] -> [t{-aWT-}]
{-# L #-}
f{-r3t,x-} =
    _/\_ rjy{-aWN-} t{-aWT-} t{-aXo-} ->
	let {
	  ++_aYM  :: 
	      _forall_
	      [rjy{-aWw-}]
	      =>
	      [rjy{-aWw-}] -> [rjy{-aWw-}] -> [rjy{-aWw-}]
	  {-# L #-}
	  ++_aYM =
	      ++_aYK } in
	let {
	  ++_aYL  :: 
	      _forall_
	      [rjy{-aWD-}]
	      =>
	      [rjy{-aWD-}] -> [rjy{-aWD-}] -> [rjy{-aWD-}]
	  {-# L #-}
	  ++_aYL =
	      ++_aYK } in
	let {
	  ++_aYJ  :: 
	      _forall_
	      [rjy{-aWK-}]
	      =>
	      [rjy{-aWK-}] -> [rjy{-aWK-}] -> [rjy{-aWK-}]
	  {-# L #-}
	  ++_aYJ =
	      ++_aYK
	} in 
	  \ x_r3d  :: 
		[rjy{-aWN-}]
	    {-# L #-}
	    x_r3d y_r3f  :: 
		      t{-aXo-}
		  {-# L #-}
		  y_r3f z_r3h  :: 
			    [t{-aWT-}]
			{-# L #-}
			z_r3h ->
	      let { ds_d13I  :: 
			[rjy{-aWN-}]
		    {-# L #-}
		    ds_d13I =
		let { ds_d131  :: 
			  [rjy{-aWN-}]
		      {-# L #-}
		      ds_d131 =
		  let { ds_d13e  :: 
			    [rjy{-aWN-}]
			{-# L #-}
			ds_d13e =
		    let {
		      ds_d13r  :: 
			  [rjy{-aWN-}]
		      {-# L #-}
		      ds_d13r =
			  ++_aYJ
			      _@_ rjy{-aWN-} x_r3d x_r3d
		    } in 
		      ++_aYL
			  _@_ rjy{-aWN-} x_r3d ds_d13r
		  } in
		  ++_aYM
		      _@_ rjy{-aWN-} x_r3d ds_d13e
		} in
		++_aYK
		    _@_ rjy{-aWN-} x_r3d ds_d131
	      } in
	      case ds_d13I of {
		PrelBase.[]{-5i,p-}{i} ->
		    PrelBase.[]{-5i,p-}{i}
			_@_ t{-aWT-};
		PrelBase.:{-55,p-}{i} a_r3k ds_d140 ->
		    let { fail_d14E  :: 
			      [t{-aWT-}]
			  {-# L #-}
			  fail_d14E =
		      let {
			bs_r3s  :: 
			    [rjy{-aWN-}]
			{-# L #-}
			bs_r3s =
			    ds_d140 } in
		      let {
			a_r3r  :: 
			    rjy{-aWN-}
			{-# L #-}
			a_r3r =
			    a_r3k } in
		      let { ds_d14d  :: 
				[PrelBase.Char{-38,p-}]
			    {-# L #-}
			    ds_d14d =
			let {
			  ds_d14q  :: 
			      PrelBase.Char{-38,p-}
			  {-# L #-}
			  ds_d14q =
			      PrelBase.C#{-54,p-}{i}
				  {'4'} } in
			let {
			  ds_d14u  :: 
			      [PrelBase.Char{-38,p-}]
			  {-# L #-}
			  ds_d14u =
			      PrelBase.[]{-5i,p-}{i}
				  {_@_ PrelBase.Char{-38,p-}}
			} in 
			  PrelBase.:{-55,p-}{i}
			      {_@_ PrelBase.Char{-38,p-} ds_d14q ds_d14u}
		      } in
		      IOBase.error{-87,p-}
			  _@_ [t{-aWT-}] ds_d14d
		    } in
		    case ds_d140 of {
		      PrelBase.[]{-5i,p-}{i} ->
			  let { ds_d14S  :: 
				    [PrelBase.Char{-38,p-}]
				{-# L #-}
				ds_d14S =
			    let {
			      ds_d153  :: 
				  PrelBase.Char{-38,p-}
			      {-# L #-}
			      ds_d153 =
				  PrelBase.C#{-54,p-}{i}
				      {'2'} } in
			    let {
			      ds_d157  :: 
				  [PrelBase.Char{-38,p-}]
			      {-# L #-}
			      ds_d157 =
				  PrelBase.[]{-5i,p-}{i}
				      {_@_ PrelBase.Char{-38,p-}}
			    } in 
			      PrelBase.:{-55,p-}{i}
				  {_@_ PrelBase.Char{-38,p-} ds_d153 ds_d157}
			  } in
			  IOBase.error{-87,p-}
			      _@_ [t{-aWT-}] ds_d14S;
		      PrelBase.:{-55,p-}{i} b_r3n ds_d15m ->
			  case ds_d15m of {
			    PrelBase.[]{-5i,p-}{i} ->
				fail_d14E;
			    PrelBase.:{-55,p-}{i} c_r3o ds_d15z ->
				case ds_d15z of {
				  PrelBase.:{-55,p-}{i} ds_d15H ds_d15G ->
				      fail_d14E;
				  PrelBase.[]{-5i,p-}{i} ->
				      let {
					a_r3m  :: 
					    rjy{-aWN-}
					{-# L #-}
					a_r3m =
					    a_r3k } in
				      let {
					ds_d15Q  :: 
					    (t{-aXo-}, [t{-aWT-}], t{-aXo-}, [t{-aWT-}])
					{-# L #-}
					ds_d15Q =
					    PrelTup.(,,,){-64,p-}{i}
						{_@_ t{-aXo-}
						 _@_ [t{-aWT-}]
						 _@_ t{-aXo-}
						 _@_ [t{-aWT-}]
						 y_r3f
						 z_r3h
						 y_r3f
						 z_r3h}
				      } in 
					z_r3h;
				};
			  };
		    };
	      }
end Rec }