Add `Maybe` instance declaration to notes