Monad: always derive typeable