TypeDecl.purs

module Main where

import Prelude

k :: String -> Number -> String
k x y = x

iterate :: forall a. Number -> (a -> a) -> a -> a
iterate 0.0 f a = a
iterate n f a = iterate (n - 1.0) f (f a)

main = Control.Monad.Eff.Console.log "Done"