:
On Sun, Aug 28, 2011 at 18:44, Philip Holzenspies
p...@st-andrews.ac.ukmailto:p...@st-andrews.ac.uk wrote:
instance (Typeable1 m, Monad m) = Typeable (MyADT m) where
typeOf t@(MyADT _)
typeOf is usually invoked with an undefined parameter; it should use types,
never values. Here you've
L.S.,
I'm currently writing code where I want some ADTs to be parametric with a
monad. There are some extra conditions that I place on my parameter, but I've
boiled things down to minimal reproducibility. When I define MyADT as follows:
import Data.Typeable
data MyADT m = MyADT (m ())