Documentation

Traverse the strongly typed Exception contained in SomeException where the type of your function matches the desired Exception.

 exception :: (Applicative f, Exception a, Exception b)
           => (a -> f b) -> SomeException -> f SomeException