https://blog.knoldus.com/scalafp-mystery-scala-higher-kinded-type/