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...

Context If we have data Foo = Foo { x :: Maybe Int, y :: Maybe Text } we can already build it up applicative-style in an Applicative context (here IO) as myfoo :: IO Foo myfoo = Foo <$> ...

In Sum of Products approach, how would one retrieve the record function? An example code below with record datatype (ghc 7.10.3): {-# LANGUAGE DeriveGeneric #-} import qualified GHC.Generics as GH...

For another answer of mine, I wrote the following code, providing diagonally traversed Universe instances for enumerable Generics (it's slightly updated from the version there, but uses the same lo...

I have a class that provides a globally unique identifier for types: class Named a where nameOf :: a -> (String,String,String) -- (Package, Module, Identifier) default nameOf :: (Generic a, N...

Are any tasks that are possible only with SYB, or are much easier with it, when compared to GHC Generics?

I'm trying to learn GHC Generics. After reviewing several examples, I wanted to try to create a generic Functor instances (disregarding that GHC can derive them automatically for me). However, I re...