Функция min4, по четырём вещественным возвращающая наименьшее из них

min4 :: Double -> Double -> Double -> Double -> Double
min4 a b c d = minimum [a,b,c,d]

min4 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 ->(\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 ->min (min a b) (min 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) 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

min4 :: Double -> Double -> Double -> Double -> Double
min4 = (. (. min) . (.) . min) . (.) . (.) . min

min4 :: Ord a => a -> a -> a -> a -> a
min4 = (\w x y z -> ((. (. min) . (.) . min) . (.) . (.) . min) w x y z )

min4 :: Ord a => a -> a -> a -> a -> a
min4 a b c d =if ((if a<b then a else b)<(if c<b then c else d)) then (if a<b then a else b) else (if c<b then c else d)

min4 a b c d = (sort [a, b, c, d]) !! 0

min4 a b c d = head $ sort [a,b,c,d]

min4 :: Ord a => a -> a -> a -> a -> a
min4 a b c d = if d<a then i d b c else i a b c where
 i a b c = if c<a then kill c b else kill a b
 kill a b = if a<b then you a else you b
 you x = x

min4 a b c d = foldr (\a b -> [a, b] !! div (signum (a - b) + 1) 2) a [b, c, d]

k x y = x
s x y z = x z (y z)
b x y z = x (y z)
c x y z = x z y
cond p f g x = if p x then f x else g x
y f = f (y f)
 
min4 m n l j = y (b (cond null (k j)) (b (s (b min head)) (c b tail))) [m,n,l]

min4 ::  Double -> Double -> Double -> Double -> Double
min4 a b c d = ((/(fromIntegral (length (b:c:d:[]))::Double)) . sum . map (min a)) (b:c:d:[])

min4 = ((min .) .) . (min .) . min

min__ :: (Ord a,Show a) => a->a->a->a->a
min__ = (( . ) . ( . ) . ( . )) min ((( . ) . ( . )) min (min))

class Variadic r where 
    minV :: Double -> r
 
instance Variadic Double where
    minV = id
 
instance (Real a, Variadic r) => Variadic (a -> r) where
    minV x = minV . (min x) . fromRational . toRational

*Varidic> minV 2 :: Double
2.0
*Varidic> minV 5 2 :: Double
2.0
*Varidic> minV 5 2 1 :: Double
1.0
*Varidic> minV 5 (-1) 2 1 :: Double
-1.0