3 ms·
> I can't say (traverse :: The List instance) Actually, in GHC 8.0 you can do exactly that, with the TypeApplictions extension. Prelude> :set -XTypeApplic
by dllthomas 10y ago
> I can't say (traverse :: The List instance)
Actually, in GHC 8.0 you can do exactly that, with the TypeApplictions extension.
Prelude> :set -XTypeApplications
Prelude> :t traverse @[]
traverse @[] :: Applicative f => (a -> f b) -> [a] -> f [b]