Generics.SOP.Classes

class HPure h

data (f -.-> g) a

fn

fn_2

fn_3

fn_4

type family Prod h :: (k -> *) -> l -> *

class HAp h

hliftA

hliftA2

hliftA3

hcliftA

hcliftA2

hcliftA3

type family CollapseTo h :: * -> *

class HCollapse h

class HSequence h

hsequence

hsequenceK