Documentation

barbies doesn't care about field names, but they are useful in many use cases

Transform a regular Haskell record declaration into HKD form. BareB, FieldNamesB, FunctorB, DistributiveB, TraversableB, ApplicativeB and ConstraintsB instances are derived.

For example,

declareBareB [d|data User = User { uid :: Int, name :: String}|]

becomes

data User t f = User { uid :: Wear t f Int, name :: Wear t f String }