type inference, geen idee of het werkt
bezig met typematching