KindEqualities.hs:25:1: warning: [-Wincomplete-patterns (in -Wextra)]
    Pattern match(es) are non-exhaustive
    In an equation for ‘zero’:
        Patterns of type ‘TyRep a’ not matched: TyApp (TyApp _ _) _