1. 3
  1.  

  2. 1

    Can you make density/codensity too to give Set a monad?