# Packages
No description provided by the author
# Functions
No description provided by the author
*
HKTA = HKT<A>
HKTFA = HKT<func(A)A>
*/.
No description provided by the author
First always returns the first argument.
FunctionSemigroup forms a semigroup as long as you can provide a semigroup for the codomain.
No description provided by the author
No description provided by the author
Last always returns the last argument.
No description provided by the author
No description provided by the author
Reverse returns The dual of a `Semigroup`, obtained by swapping the arguments of `concat`.
ToMagma converts a semigroup to a magma.
# Interfaces
No description provided by the author