It would have type `Nothing`
# kontributors
o
It would have type
Nothing