raulraja
This is because `None` it's encoded so that it uses `Nothing`, a bottom type that can be adapted to any type receiver