Returns true if an object typed t can have indirections which come from the parameters.
See Implementation
Returns true if an object typed t can have indirections which come from the parameters.