Google Summer of Code 2020 with Hakell.org