Title: Modelling generic user-interface with functional programs