 _  = panic Nothing $ "Bare.Type.tyApp on invalid inputs"

expandRTypeSynonyms :: (PPri
tyApp _                 _  _   _  = panic Nothing $ "Bare.Type.tyApp on invalid inputs"
tyApp _                 _  _   _  = panic Nothing $ "Bare.Type.tyApp on invalid inputs"