updated both files
implemented type class fully and updated.
updated type class and added a function for bijections
updated to comply with typeclass.
updated to comply with typeclass.