module
Maybe
where
data
Maybe
A
:
Set
where
nothing
:
Maybe
A
just
:
A
→
Maybe
A