Explanation in typology