Constraining the type of T