got it, wrong types again. Maybe doing typed programming with Javascript is a bad idea?