public
Last active — forked from shangaslammi/hello-ski.hs

Hello World using Applicative instance for ((->) r) as a computational basis

  • Download Gist
gistfile1.sh
Shell
1 2 3 4 5 6 7 8 9 10
$ ghci
GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> :l hello-ski.hs
[1 of 1] Compiling Main ( hello-ski.hs, interpreted )
Ok, modules loaded: Main.
*Main> main
Hello world!
hello-ski.hs
Haskell
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
import Control.Applicative
 
hello =
(<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure))))))))))))))))))))))))))))))))))))))))))
)))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)
((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure))))))))))))))))))))))))))))))))))))))))))))))))))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure))))))))))))))))))))))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)(flip pure))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure
(<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure)))))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure
pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
))))))))))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure))))))))))))))))))))))))))))))
))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure
(<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)
((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure
pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>)
(<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<*>))((<*>)
(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)((<*>) (<$>)(flip pure))))))))))))))))))))))))))))))((<*>)((<*>)(pure (<*>))((<*>)
(pure pure)((<*>)(pure (<*>))((<*>)(pure((<*>)(pure (<*>))))((<*>)((<*>)(pure (<*>))((<*>)(pure pure)((<*>)(pure (<$>))id)))(pure(flip pure)))))))(pure((<*>)(pure((<*>)(pure pure)))((<*>)(pure pure)id)))))))))))))))
 
main = hello ((>>).putChar) (return()) succ '\n'

With what did you replace b and c of the original source? I understand that pure = K and (<*>) = S. Also, where do all the fmaps originate?

@quchen
b = (<$>), fmap
c = flip

Please sign in to comment on this gist.

Something went wrong with that request. Please try again.