T14794b.hs:9:1: warning: [-Wmissing-signatures (in -Wall)]
    Top-level binding with no type signature: test3 :: Bool

T14794b.hs:11:1: warning: [-Wmissing-signatures (in -Wall)]
    Pattern synonym with no type signature: pattern Test4 :: Bool

T14794b.hs:13:1: warning: [-Wmissing-signatures (in -Wall)]
    Top-level binding with no type signature: test7 :: Bool

T14794b.hs:15:1: warning: [-Wmissing-signatures (in -Wall)]
    Pattern synonym with no type signature: pattern Test8 :: Bool