you know what... I think everything would have been fine if we'd simply required all this hog stuff to be in the same block...
{-# LANGUAGE ImpredicativeTypes #-}
module Main where
import qualified MODULE as M
main = undefined $ M.FUNCTION PARAMETERS