• Robbert Krebbers's avatar
    Make `fmap` left associative. · 12e701ca
    Robbert Krebbers authored
    This follows the associativity in Haskell. So, something like
    
      f <$> g <$> h
    
    Is now parsed as:
    
      (f <$> g) <$> h
    
    Since the functor is a generalized form of function application, this also now
    also corresponds with the associativity of function application, which is also
    left associative.
    12e701ca
zmap.v 4.12 KB