Dualing Types
Contrabi Coin
Deriving Recursion