Verified bytecomp is enough clever to optimize (Some) e and Some @@ e
doc