https://fests.info/workshops/purescript-workshop.html/