folone / hello-ski.hs
Created — forked from shangaslammi/hello-ski.hs

Embed URL

HTTPS clone URL

SSH clone URL

You can clone with HTTPS or SSH.

Download Gist

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

View hello-ski.hs
Raw
File suppressed. Click to show.
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!
View hello-ski.hs
Raw
File suppressed. Click to show.
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'
quchen commented

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?

Owner
folone commented

@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.