Generics.Deriving.Instances
type
Rep0Down
a
type
Rep1Down