2
In this section, we use Haskell syntax