add WithUnmask functions
simplify MonadFork definitions
add unmasked functions to fork