Update for ghc-7.8 since `myTycon` has been removed.