Try a work with one type for all services.
Make a services as a functions, not as a types.
Move the Service type to file Service.hs.
Merge branch 'one_type_service'