Added haddock documentation, Show instance, and cleaned up kind signatures.