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

gistfile1.sh

$ 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

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?

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

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

👍

👍