Sneaky and Unchecked throw Exceptions/Errors or could ignore them completely. It would be great to have something similar to Java's Optionally: a smart return.
Safe variants for some of the most important interfaces (like Runnable and Callable) are also desired.