[Haskell-cafe] The (!) operation

Francesco Mazzoli f at mazzo.li
Thu Mar 8 19:12:37 CET 2012


> (Though I seem to recall the monadic return value being frowned upon
> but I don't recall why.)
>

The type signature that you wrote is very generic and doesn't help in 
introducing effects while retrieving the indexed value, which I imagine 
is what you wanted to do.

I guess you could define a type family for the monad type as well, e.g.:

type family Index f
type family IndexMonad f :: * -> *

class Functor f => Indexed f where
     index :: Index f -> f a -> (IndexMonad f) (Maybe a)

Francesco.



More information about the Haskell-Cafe mailing list