@@ -94,16 +94,15 @@ tuple region types =
9494
9595deepDealias :: Canonical -> Canonical
9696deepDealias tipe =
97− let go = deepDealias in
9897 case tipe of
9998 Lambda a b ->
100− Lambda (go a) (go b)
99+ Lambda (deepDealias a) (deepDealias b)
101100
102101 Var _ ->
103102 tipe
104103
105104 Record fields ext ->
106− Record (map (second go) fields) (fmap go ext)
105+ Record (map (second deepDealias) fields) (fmap deepDealias ext)
107106
108107 Aliased _name args tipe' ->
109108 deepDealias (dealias args tipe')
@@ -112,7 +111,7 @@ deepDealias tipe =
112111 tipe
113112
114113 App f args ->
115− App (go f) (map go args)
114+ App (deepDealias f) (map deepDealias args)
116115
117116
118117dealias :: [(String, Canonical)] -> Aliased Canonical -> Canonical