but it's necessary, otherwise `Result` doesn't kno...

# announcements

[iex]

but it's necessary, otherwise Result doesn't know which value it contains!

[natpryce]

Error should extend Result<Nothing>, and then does not need to be parameterised

[natpryce]

See https://github.com/npryce/result4k for an example