type Maybe

Base · base.bend:32

32type Maybe<a, -A: Kind(a)> is Kind(a):
33  None{}
34  Some{value: A}