module Basics where

{-
1. What is Semigroup? Define the type class.

2. What is Monoid? Define the type class.

3. What is Functor? Define the type class.

4. What is Applicative? Define the type class.

5. What is Monad? Define the type class.

6. Define fmap in terms of bind.

7. Define bind in terms of fmap and join.

-}