3 ms·
`Just x` cannot be constructed since there is no `x` which is has type `Void`.
`Just x` cannot be constructed since there is no `x` which is has type `Void`.
Well, there's the one in context that does! Except this function can never be called in an empty context so you ultimately are stuck.
`Just x` can be constructed given an `x`. The fact that no `x` can be given is somewhat irrelevant to the definition of the function.