id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
3700,Being instance of Monoid is not checked,boris,,"It is possible pass not only instances of Monoid to tell function and load the file with GHCi. GHCi shows type f :: (MonadWriter ((a -> b) -> [a] -> [b]) m) => t -> m ()
{{{
f _ = tell map
}}}
However, if code is
{{{
f = tell map
}}}
GHCi shows type error(no instance) as expected.

It seems very strange that type correctness depends on number of parameters for function that is not used anywhere.",bug,closed,normal,,Compiler (Type checker),6.10.3,invalid,"Monoid, Writer",,Windows,x86,Other,,,,,