Changed Rec show instance to follow syntax