On Sunday, May 15, 2016 at 5:20:42 PM UTC+2, Alexey Muranov wrote:

Then matching analogs of `[]` and `[1,2,3]` could be made:

```
{||} :: Maybe Int -- Nothing
{| Just 1, Just 2, Just 3 |} :: Maybe Int -- Just 1
```

Sorry, i meant of course

```

{|1, 2, 3|} :: Maybe Int -- Just 1

```

Alexey.