@rae: Use closed type families for beautiful type inference

Published --