Parameterises Records on the error type, adds instances from bifunctors
Adds example of using the bifor_ over Records