(a . b) x = a (b x)   -- (.) - Määritelmä
            

 (a . b . c) x 
            

(a . b) x = a (b x)   -- (.) - Määritelmä
            

== {- Sulutetaan -}
 (a . (b . c)) x
            

== {- Määritelmä -} 
 a ((b . c) x)
            

== {- Määritelmä -}
a (b (c x))
□
            

a $ b = a b -- ??
            

a b $ 1 + 2   == a b (1+2)    vs. a b 1 + 2 == ((a b) 1) + 2
a b $ c d     == (a b) (c d)  vs. a b c d   == ((a b) c) d)
            

a . b . c $ d == (a . b . c) d
              == a . ((b . c) d)
              == a . (b (c d))
              == a (b (c d))
            

> ghci :browse System.Random

getStdGen :: IO StdGen
getStdRandom :: (StdGen -> (a, StdGen)) -> IO a
mkStdGen :: Int -> StdGen
newStdGen :: IO StdGen
setStdGen :: StdGen -> IO ()

randomR :: RandomGen g => (a, a) -> g -> (a, g)
random :: RandomGen g => g -> (a, g)
randomRs :: RandomGen g => (a, a) -> g -> [a]
randoms :: RandomGen g => g -> [a]
randomRIO :: (a, a) -> IO a
randomIO :: IO a
            
            

mkStdGen :: Int -> StdGen
randomRs :: RandomGen g => (a, a) -> g -> [a]