特定の状態データ型の多形MonadState関数のエクスポート

Question

私がやっていることは、（私が書いている）状態モナドの特定の型で動作する関数をエクスポートすることです（以下の例では、そのタイプはFooとなります）。しかし、私は彼らが望むどんなタイプのMonadStateでも関数を使用できるようにしたいと考えています：State.Lazy、State.Strict、StateTなどです。そのため、その外側のモナドで多形でなければなりません。

ここ

は私がやりたいの例です：

EDITEDより良い質問と：

import Control.Monad.State 

data Foo a = Foo { cnt :: Int, val :: a } 

--test :: State (Foo a) a   -- THIS WORKS 
--test :: StateT (Foo a) Maybe a -- ...SO DOES THIS 
-- ... BUT INCLUDING THE FOLLOWING SIGNATURE GIVES AN ERROR: 
test :: MonadState (Foo a) m => m a 
test = modify (\(Foo i a)-> Foo (i+1) a) >> gets val 

GHC FlexibleInstancesの拡張子は、上記のタイプを定義するために必要であることを訴えます。その拡張機能を使用して私の機能を定義する正しい方法か、より良い方法がありますか？

おかげ

Answer 1

あなただけMonadStateの型クラスを使用することができませんか？

{-# LANGUAGE FlexibleContexts #-} 
import Control.Monad.State 

data Foo a = Foo { cnt :: Int, val :: a } 


test :: MonadState (Foo a) m => m a 
test = modify (\(Foo i a)-> Foo (i+1) a) >> gets val 

GHCiでは正常にロードされます。

EDIT：これは、MTL-2.0であり、GHCiの-7.0.1