T3696.hs:9:1: warning: [-Wmissing-signatures (in -Wall)]
    Top-level binding with no type signature: def :: Int