This demonstrates how to represent a failed computation (empty list), but doesn't show how to distinguish a failed computation and a successful one with no solu

This demonstrates how to represent a failed computation (empty list), but doesn't show how to distinguish a failed computation and a successful one with no solution. Or how to represent errors. What does Result look like?