Add missing `CanCastTo` instances
Clarification and motivation
Explicitly permitted coercions seem to work well (in my opinion), but it lacks many necessary instances.
- For primitives like
Map
; - For tuples;
- For named things;
- For
View
andVoid
.
Also let's clarify description of CanCastTo
- use cases for it, when defining such an instance is valid and alternatives to it.
Acceptance criteria
- All necessary instances are added.
- Description of
CanCastTo
typeclass is improved.
Edited by Konstantin Ivanov