Termination order for type families
Author: Carsten Schuermann

