Skip to content

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)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information