Skip to content

Embed URL

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Hello World using Applicative instance for ((->) r) as a computational basis
$ 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!
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'
@quchen

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?

@folone
Owner

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.