Code sharing by using cast.
Code sharings by using RankNTypes
Code sharings