FrameworksHigher Kinded TypesQuartz: Towards a statically typed ErlangIntro