úÎÆû Safe-InferredUsage example:  pureExample p =  runFinalV $ case p of  True -> finalV "quux"  False -> finalV "foobar" #This class is the main idea behind Final. finalV is in a ? type class, so we we can have to instances, therefore if used - incorrectly the compiler sees an ambiguity. Use this instead of % when you want to mark this point as & a final return for the corresponding . =Most commonly used at the beginning of functions to mark the  point in the code where  calls " return to". This compiles:   simple = runFinal $ do  print "line1"  do return False  return True  final True This fails at the first "final True":  simple = runFinal $ do  print "line1"  do return False  final True  final True <Useful when the final return value is a monadic computation > itself that after returned has to be joined into the current  computation. @A version of atomically, that joins and runFinals. This is the E most common usage for the author. Details and example can be found  in Control.Final.Example. 6MonadIO version of atomically. Not really related to Final,  but if we already have  in this module, it makes  sense to provide this too.        Safe-Inferred Safe-Inferred    final-0.1 Control.FinalControl.Final.AlternativesControl.Final.Example runFinalV FinalClassfinalVfinalrunFinal joinFinalatomicJoinFinalatomicbaseGHC.BasereturnFinalTooManyReturnsFinal$fFinalClassFinalTooManyReturns$fFinalClassFinal