Added Show instance to P typeclass