`Just x` cannot be constructed since there is no `x` which is has type `Void`. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		yummyfajitas on June 25, 2015 \| parent \| context \| favorite \| on: The Algebra of Algebraic data types `Just x` cannot be constructed since there is no `x` which is has type `Void`.

tel on June 25, 2015 | [–]

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.

bweitzman on June 25, 2015 | [–]

`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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact