Compiled pb
Failure of not having enough funds has its own FailureType