Príklady shapely

• Any shapely monad admits a monad map to lists that assigns its list of members.

• Shapely sentences, sparkling epigrams, brilliant dialogue chased nimbly through her travailing brain.

• As we have pointed out, not every container type in our sense is shapely.

• Its main innovation is the introduction of shapely types that encode information about the bounds of array-like objects in the type system of the language.

• We formalize how collection classes are implemented with tree-processing and show that for shapely monads there is a plenitude of canonical implementations.

• A simple inductive argument shows that all inductive functors are shapely over lists.

• It follows that the lifting functor is not shapely over lists.

• The notion turns out to be weaker than 'shapely'.

• His analysis only finds a subset of 'shapely' expressions.

• We now turn to characterizing shapely monads in terms of equational presentations.

• Our next task is to establish some facts about the relationship between shapely, shaped and zipped monads.

• The functors shapely over lists are always strong, and so form models as before.

• These are all loose threads which do not weave a consistent or shapely fabric, no matter how we draw them.

• The dame was five-foot-ten, perfect teeth, more shapely than a bell curve.

• A commutative, shapely collection monad is deterministic.