5 Matching Annotations
  1. Feb 2021
    1. can transform monadic values m a applying f to the unwrapped value a
    2. A combinator, typically called bind (as in binding a variable) and represented with an infix operator >>=, that unwraps a monadic variable, then inserts it into a monadic function/expression, resulting in a new monadic value:(mx >>= f) : (M T, T → M U) → M U