from https://hackage.haskell.org/package/void-0.7.1/docs/Data-Void.html
with Void you can implements technics like http://www.haskellforall.com/2015/01/total-100-exhaustive-pattern-matching.html
The implementation would be something like:
public abstract class Void {
private Void() {throw new IllegalStateException("Void cannot be instantiated"); }
public abstract <X> X absurd();
}WDYT ?
from https://hackage.haskell.org/package/void-0.7.1/docs/Data-Void.html
with Void you can implements technics like http://www.haskellforall.com/2015/01/total-100-exhaustive-pattern-matching.html
The implementation would be something like:
WDYT ?