Might be clear here to define the type of application - it isn't obvious what it is given the Right function (other than be an Either!).