Set of tools that help dusring development. Includes monads, guards, contracts, and other usefull extensions