basically, there can’t be instance of `Nothing`, s...

# kontributors

[orangy]

basically, there can’t be instance of Nothing, so when foo has it, compiler cannot make anything meaningful.