permit older GHC's by manually implementing epsilon for previously
non-Typeable base types