Yeah.... You're probably right. Let's not talk about the meta-structures of our programs, but just use those structures. Sure. I might be using a monad and the

Yeah.... You're probably right. Let's not talk about the meta-structures of our programs, but just use those structures. Sure. I might be using a monad and the bind function every single day, but acknowledging any useful repetition of patterns is never useful. That's why no successful programmer has ever even given a thought to design patterns. /s Why is it that people are alright with identifying and naming the pattern of a single global instance of a type - i.e. a singleton, but as soon as you identify a pattern of type signatures you're instantly thought of as looney and overselling?