Write explicit instance Alt f => Alt (Alter f)