ICFP 2017 Student Research Competition: Towards a core language with row-based effects for optimised compilation