Control.Monad.Extra and Control.Monad.Trans.Error used but not available
The module FlatCurry.Annotated.TypeInference uses two module which seems to have been introduced for the transition to version3 but are not available. Solution(?): adapt code to other monad libraries