Adding my own learning exercise related to how the Setoid type functions