┌────────────────────────────────┐                     
┌─────────┐  │Contexts: Maybe (Success/None), │                     
│Value (x)│  ├────────────────────────────────┤                     
├─────────┤  │                                │                     
└─────────┘  └────────────────────────────────┘                     
                                                                    
                                                                    
          ┌─────────────┐   ┌───────────────────────┐   ┌──────────┐
          │Box (Context)│   │Function f: x -> Box(y)│   │New Box(y)│
          ├─────────────┤---├───────────────────────┤---├──────────┤
          └─────────────┘   └───────────────────────┘   └──────────┘