HomeIsabelle/Phabricator

more Haskell operations;