Add combinators for Fun

--HG--
branch : version-0.5
Make Fun instance of Monad

--HG--
branch : version-0.5