Jonas, 2010/10/13 Jonas Almström Duregård <jonas.dureg...@chalmers.se>
> (++) :: Finite s1 a -> Finite s2 a -> Finite (S (Plus s1 s2)) a > (++) (Finite a) (Finite b) = Finite $ a Prelude.++ b > infixr 5 ++ Why do you have the S in the return type of Finite.++ ? Ozgur
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
