λ> x 42 λ> y 1819206320230345134827............ λ> 0 * y 0 λ> y * 0 0 λ> 0 * y 0 λ> z 1766.4 λ> z 1766.4 λ> :t (^) (^) :: (Num a, Integral b) => a -> b -> a λ> :t (^^) (^^) :: (Integral b, Fractional a) => a -> b -> a λ> t 15 λ> t^2 225 λ> Basics.t 15 λ> fact 20 2432902008176640000 λ> fact(20) 2432902008176640000 λ> (fact)(20) 2432902008176640000 λ> 0 * fact 20000 Interrupted. λ> fact 0 Interrupted. λ> 2 `myfun` 5 -1 λ> (1+) 5 6 λ> (10*) 2 20 λ> subtract 5 8 3 λ> subtract 5 subtract 5 :: Num a => a -> a