renamed typeeffect.hs