I prefer having failures in the type signature so the type checker makes sure they're handled, although it depends on the failure, occasionally I just raise an

I prefer having failures in the type signature so the type checker makes sure they're handled, although it depends on the failure, occasionally I just raise an error like you suggest.