How would I go about deriving the function getField :: (Generic a, HasDatatypeInfo a) => Proxy (name :: Symbol) -> a -> b to project a field from an arbitrary record using a type-level st...