В методах есть поддержка зависимых типов, но не обычных функций. Зачем ? как с технической, так и с философской точек зрения