ContT package:deriving-compat

Extract the Name from a type constructor. If the argument Type is not a type variable, throw an error.