@@ -78,7 +78,7 @@ deepDealias tipe =
78 Record (map (second go) fields) (fmap go ext)
78 Record (map (second go) fields) (fmap go ext)
80 Aliased _name args tipe' ->
80 Aliased _name args tipe' ->
81− dealias args tipe'
81+ deepDealias (dealias args tipe')