sequence depends on types