Termination orders for type families
Author: Carsten Schuermann