Posting this here since some of you are Scala programmers: https://stackoverflow.com/questions/49353695/type-synonyms-for-implicits

A type-level question you won't encounter in Haskell.