すくなくともα自体は自然変換ではないよね
ほかの対象Bに対するF(B) → Bへの射の存在が規定されてないし