:set -isrc
:set -hide-package monads-tf
:set -fno-warn-unused-do-bind