got rid of PolyKinds