The switch requires `UndecidableInstances`

:(