Monad

不得不说自己是个大傻逼T_T...

对于bind 

m a -> (a -> m b) -> mb

对于

newtype Parser a = Parser (String -> [(a , String)]) 

m a明明就是指 Parser a啊...为毛我会理解成 Parser (String -> [(a , String)]) 

T_T虽然说monad就是把东西用m包起来嘛...但是m a肯定是Parser a啊...

为毛啊为毛。。。我会理解成后面那个。。。。而且错了这么久。。。我就说为啥后面的我都看不懂了