不得不说自己是个大傻逼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啊...
为毛啊为毛。。。我会理解成后面那个。。。。而且错了这么久。。。我就说为啥后面的我都看不懂了