module Main (main) where import PkgDef (defValue) main :: IO () main = print defValue