-----

notInput, notOutput :: String -> ErrOr a
notInput  = fail . ("Non-input-port argument to " ++)
notInput, notOutput :: String -> ErrOr a
notInput  = fail . ("Non-input-port argument to " ++)
notInput  = fail . ("Non-input-port argument to " ++)