Adding types.hs   and wildCard.hs