I know, that's why I graciously didn't comment on your first version of *. ;~)
You're making it more complicated than necessary, because you don't really trust MAP to do its job. You don't have to mess with indices. Nested MAPs will take care of combining every row with every column:
You write
dot product; remember it has to compute a sum of products. (Its domain is vectors; its range is plain numbers.)