2 Matching Annotations
  1. Feb 2021
    1. To emphasize how Just acts on the underlying value by wrapping it, it can be redefined as a function too, called eta for now
    2. Maybe T can be understood as a "wrapping" type, wrapping the type T into a new type with built-in exception handling