T3696.hs:9:1:
    Warning: Top-level binding with no type signature: def :: Int