canBeAssignedTo

Can we assign instances of the type defined by this declaration to variables having the type defined by the given type?