some <T>
- value: T
: (Maybe T)

~λP λsome λnone (some value)