-- pot aplica parțial un operator binar pe oricare dintre cei doi operanzi

\ map (/2) [10..20]
[5.0,5.5,6.0,6.5,7.0,7.5,8.0,8.5,9.0,9.5,10.0]
\ map (100/) [10..20]
[10.0,9.090909090909092,8.333333333333334,7.6923076923076925,7.142857142857143,6.666666666666667,6.25,5.882352941176471,5.555555555555555,5.2631578947368425,5.0]

-- pot aplica o funcție binară pe oricare dintre cele două argumente, folosind flip

\ map (mod 2) [1..10]
[0,0,2,2,2,2,2,2,2,2]
\ map ((flip mod) 2) [1..10]
[1,0,1,0,1,0,1,0,1,0]

-- tipuri:
\ :t True
True :: Bool
\ :i True
type Bool :: *
data Bool = ... | True
        -- Defined in `GHC.Types'
\ :t (,)
(,) :: a -> b -> (a, b)
\ :t []
[] :: [a]

-- kinds -- tipuri ale tipurilor
\ :k []
[] :: * -> *
\ :k Bool
Bool :: *
\ :k (,)
(,) :: * -> * -> *