pippo x y = y x

per forzare il primo input ad essere di tipo numerico,
basta far precedere la definizione di pippo con 
la seguente dichiarazione di tipo

pippo :: (Num a) => a -> (a -> b) -> b