we need to make sure `andThen` on identity is free. We need to override andThen on the identity to just return the right hand argument.