HomeIsabelle/Phabricator

update to Haskell stack-2.7.3 and stackage lts-17.15;