Module classes 

Traits

ApplicativeSt

Applicative with 'static bounds on type parameters.

ChainSt

Chain (monadic bind) with 'static bounds on type parameters.

FunctorSt

Functor with 'static bounds on type parameters.