21:40:19 <rightfold> Hi, is it possible to turn ServerPartT m a into ServerPartT m' a given a natural transformation forall x. m x -> m' x?
21:40:37 <rightfold> It seems like there is no MFunctor ServerPartT instance and I can't find a function to do it.
21:42:27 <rightfold> Seems like I can pass the natural transformation to mapServerPartT. :)
21:47:23 <rightfold> Yep, seems to work! ❤️