Version 0.5.1 (add Show derivation)