EPA: AnnAt missing for type application in patterns
The @
s do not have EPAs in
data Proxy (a :: k) = Proxy
data Con k (a :: k) = Con (Proxy a)
tyApp :: Con k a -> Proxy a
tyApp (Con @kx @ax (x :: Proxy ax)) = x :: Proxy (ax :: kx)
The @
s do not have EPAs in
data Proxy (a :: k) = Proxy
data Con k (a :: k) = Con (Proxy a)
tyApp :: Con k a -> Proxy a
tyApp (Con @kx @ax (x :: Proxy ax)) = x :: Proxy (ax :: kx)