From a9325bf5aaa5b6e130cf4678dce4231b2f931b7d Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Wed, 27 Jan 2016 14:50:33 +0100 Subject: Get rid of unnecessary Monad constraint --- Types/NumCopies.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Types') diff --git a/Types/NumCopies.hs b/Types/NumCopies.hs index 8677e22b3..6c673df1a 100644 --- a/Types/NumCopies.hs +++ b/Types/NumCopies.hs @@ -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 -- cgit v1.2.3