If you want to have something that can ignore a variable, you can just fill it in with ().  T Int Char () (), then have a function :: T a b () () -> IO ().  You can clean it up a little by making type aliases.  type T2 a b = T a b () (), type T3 a b c = T a b c ().