I cringed a little when, in the example of fmap (+3) (Just 2), they call (Just 2) a functor. After just having explained that a functor is a typeclass. So Maybe is a functor, but it feels weird to call values of type (Maybe a) functors as well.
Monad tutorials often avoid this problem by talking about monadic values, so perhaps in this example it could be called a functoric value?!
Monadic/functorial are the adjective forms of monad/functor. You might say that "List has a monadic nature". This is hinting at the idea that List by itself isn't really a Monad, but instead (List, pure, bind) is.
The op is talking about something different, though. What is a term for List Int, a concrete type instead of a type constructor. We cannot call List Int a Monad, we cannot even call (List Int, pure_Int, bind_Int) a Monad. The definition really requires polymorphism. But, obviously, List Int is closely related to the List-Monad.
I've also heard "monadic value" used. I tend to just use "monad" even though I know it's an even greater abuse of language.
Monad tutorials often avoid this problem by talking about monadic values, so perhaps in this example it could be called a functoric value?!