Lan f g is a Functor