Ran into a problem with extraction of type classes