package alg_structs

A solitary type

An interface for types that can be mapped over.

Applicative functors "allow sequencing of functorial computations" (wikipedia) with the limitation that "values computed by subcomputations cannot affect what subsequent computations will take place" (Core docs).

An interface for a type with a binary, associative operator over it.

An interface for a type with a binary, associative operator over it and a privileged unit value.

Data structures that can be folded over.

Non-empty lists

Proxy : 'a is a proxy for type 'a, allowing one to pass the type around without having to present a witnessing value.

See Haskell's Proxy.