Generate Apply TF and instance for TyCon