This is to match the [stdlib](https://agda.github.io/agda-stdlib/v2.2/Data.Bool.Base.html#1505) and [Decidable](https://github.com/agda/agda-stdlib-classes/blob/252d8a3e206e371709dbc2128e94fc9b8184a1d2/Class/Decidable/Core.agda#L27)