type.hs for everyone