Also might be better for type inference to leave this undefined if the inverse has not yet been created and parametrize by the appropriate type, if feasible.