Haskell tip of the day!

Did you know that types are curried?
Prelude> :kind Either
Either :: * -> * -> *
Prelude> :kind Either Bool
Either Bool :: * -> *
Let's try it out!
type ThrowsError = Either String
safeDivide :: (Fractional a) => a -> a -> ThrowsError a
_ `safeDivide` 0 = Left "cannot divide by zero"
(safeDivide) = Right `dot` (/) where dot = (.) . (.)

-- Your friendly Haskell tipster :).

Boopity boopity

I work for Microsoft

I bring my curry to lunch every day

Boopity boopity

Takin' your job at 7-11

Takin' your job at the cubicle

Boopity boopity

I eat curry while I curry

I am the Haskell Hacker from Hyderabad

Boopity boopity

Would you like some curry?

Would you like me to patch Windows Mobile?

From MSDN with love,

Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity Boopity