/prog/ - do { you <- even; lift }

Name: do { you <- even; lift } 2013-01-29 0:11

do { you <- even; lift }

  :: forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.

     (Integral (m a), Monad m, MonadTrans t) =>

     m a -> t m a

Name: Anonymous 2013-01-29 0:21

you -> reddit

Name: Anonymous 2013-01-29 1:14

Before and after lifting it's important to stretch.

Stretch what?

* g o a t s e x * g o a t s e x * g o a t s e x * g g o / \ \ / \ o a| | \ | | a t| `. | | : t s` | | \| | s e \ | / / \\\ --__ \\ : e x \ \/ _--~~ ~--__| \ | x * \ \_-~ ~-_\ | * g \_ \ _.--------.______\| | g o \ \______// _ ___ _ (_(__> \ | o a \ . C ___) ______ (_(____> | / a t /\ | C ____)/ \ (_____> |_/ t s / /\| C_____) | (___> / \ s e | ( _C_____)\______/ // _/ / \ e x | \ |__ \\_________// (__/ | x * | \ \____) `---- --' | * g | \_ ___\ /_ _/ | g o | / | | \ | o a | | / \ \ | a t | / / | | \ |t s | / / \__/\___/ | |s e | / | | | |e x | | | | | |x * g o a t s e x * g o a t s e x * g o a t s e x *

Name: Anonymous 2013-01-29 19:03

Do you even hax

Name: Anonymous 2013-01-29 19:07

>>4
yes, >>3

Name: Anonymous 2013-01-29 21:10

>>1
THAT'S NOT H98 COMPLIANT CODE!

Name: moot ‮ nimda! 2013-01-29 21:16

>>2
Agreed.

Name: moot ‮ nimdA! ‭ 2013-01-29 21:40

>>7
Apologies to expert /prog/riders who were offended by this poor moot impersonation.

Name: Anonymous 2013-01-30 4:13

moot ‮ nimdA!

Name: Anonymous 2013-01-30 5:14

>>1
kind anon, could you explain why does that work?

unsugarating is equal to



even >>= \you -> lift

but the signature of even doesn't match with the left operant of >>=, what is going on?

Name: Anonymous 2013-01-30 7:38

>>9
You've found it! The suuper secret RTL character.
This is not satori, nor will it help achieve it, but a power you can choose to wield.
Enjoy you're posting!

do { you <- even; lift }

1 Name: do { you <- even; lift } 2013-01-29 0:11

2 Name: Anonymous 2013-01-29 0:21

3 Name: Anonymous 2013-01-29 1:14

4 Name: Anonymous 2013-01-29 19:03

5 Name: Anonymous 2013-01-29 19:07

6 Name: Anonymous 2013-01-29 21:10

7 Name: moot ‮ nimda! 2013-01-29 21:16

8 Name: moot ‮ nimdA! ‭ 2013-01-29 21:40

9 Name: Anonymous 2013-01-30 4:13

10 Name: Anonymous 2013-01-30 5:14

11 Name: Anonymous 2013-01-30 7:38