1

Topic: Re: on . (o_O)

Hello, Kodt, you wrote: What tell? I stay in perplexity... It is necessary to add type for magic magic:: VarArgs a => a

2

Re: Re: on . (o_O)

Hello, Kodt, you wrote: It is necessary to add type for shmagic and figagic shmagic, figagic:: VarArgs a => t-> a the Output of types in systems of the higher ranks - the incapable of solution task, and we there appeared, including RankNTypes extension. Therefore by default it is necessary to annotate types everything that is used. The available algorithm of an output here and there allows to lower explicit attributing, but if with it not to work all time all the same all cases and subcases take off from a head.

3

Re: Re: on . (o_O)

Hello, Kodt, you wrote: Without any higher ranks: \And here  style, therefore too is required the summary. If to add argument at the left and on the right - should deduce.

4

Re: Re: on . (o_O)

Hello, Kodt, you wrote: pst:: Show t => t-> IO () - without the summary it breaks function compilation ps!!! pst = putStrLn. show ps t = (putStrLn. show) t - and here the summary is not necessary Without any higher ranks: \Recalled whence feet grow! Here it is necessary to add  NoMonomorphismRestriction and all will be compiled without the summary. (This , generally, should be added everywhere, Monomorphism Restriction it is not necessary.)