first-class-families

First class type families, eval-style defunctionalization See Fcf.