title: Template specialization for SFINAE
body: <p>I have been working with templates for quite some time now but recently I encountered a weird template programming for SFINAE. 
  My question is why do we write 
  <code>typename = {something}</code> as a template parameter in C++?</p>