Problem: for `CanCastTo` instances for complex types we do not ensure
that all necessary constraints are enlisted in superclass. This may lead
to writting an unsafe code.

Solution: allow one specify implementation of `CanCastTo`'s only method
which would ensure via Generics that constraints on all types which
given type consists of are enlisted.