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

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

  • Download Gist
gistfile1.sh
Shell
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!
hello-ski.hs
Haskell
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?

folone commented

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

dmalikov commented

:+1:

Please sign in to comment on this gist.

Something went wrong with that request. Please try again.