Isomorphic functional MVC