Get rid of unnecessary Monad constraint

This commit is contained in:
Gabor Greif 2016-01-27 14:50:33 +01:00 committed by Joey Hess
parent daf8aa76fe
commit 6c3c8e63d0
Failed to extract signature

View file

@ -111,7 +111,7 @@ invalidatableVerifiedCopy mk u check = do
-- Constructs a VerifiedCopy, and runs the action, ensuring that the
-- verified copy is invalidated when the action returns, or on error.
withVerifiedCopy
:: (Monad m, MonadMask m, MonadIO m, ToUUID u)
:: (MonadMask m, MonadIO m, ToUUID u)
=> (V -> VerifiedCopy)
-> u
-> IO Bool