Понятно, это вопрос терминологии.
def foo[F[_]: Functor](f: F[Int])
Здесь F[_] - это функтор. Как тогда называется F[Int], на котором есть метод map[A](f: Int => A): A ?

Сергей, вы построили функторы, которые приводили в качестве примера?

Покажите код для функтора - генератора псевдослучайных чисел

Нет, т.к. я называл функтором F[Int]. Но это не функтор.

Ясно

Хорошо что это не функтор

Значит теоркат не бред?

Дней без обсуждения, что же такое монада: 0

Сначала с функтором бы разобраться еще

мы обсуждаем статью участника чата

ну как уже обсуждали - не обязательно, и в теоркате даются оба определения монады, не привязанные у определению функтора

А все-таки,
`Как тогда называется F[Int], на котором есть метод map[A](f: Int => A): A ?`

Если у кого-то опять зачешется ЧСВ, можно пугать людей утверждениями, что IO[Int] - не монада)

А разве IO[Int] это монада? Я думал IO это монада, а не IO[Int]

Возможно это вопрос не сюда а в лёрн.

всё так, это не монада. А что это тогда?)

Значение в результате работы какого-то io

Очень сложно понять, что здесь конкретно нужно "назвать"
Обычно "название" даётся для абстрактного типа, любого рода.
Т.е. рассматривается некоторый подкласс типов этого рода.
Например F[_] - имя абстрактного типа первого рода Type -> Type, в классе таких типов можно рассмотреть подкласс типов, имеющих конструкцию функтора или монады.
А F[Int] - это уже не имя абстрактного типа. Это какой-то F[_] применённый к типу Int. Я не понимаю, к какому классу относится F[Int], чтобы давать название его подклассам

это определение F[Int] без тайпклассов

Если вы напишете трейт, мы попробуем придумать название для этой структуры