Added my fun definition of nat trans