nameOf :: forall a
  . Generic a
  => GTypeName (Rep a)
  => Proxy a
  -> String
nameOf _ = gtypeName (from (undefined :: a))

class GTypeName f where
  gtypeName :: f a -> String

instance (Datatype m, GTypeName f) => GTypeName (D1 m f) where
  gtypeName x = datatypeName