Generics.Pointless.RecursionPatterns

hylo

cata

cataRec

ana

anaRec

type Para a

para

paraRec

type Apo b

apo

apoRec

type Zygo a b

zygo

type Accum a b

accum

type Histo a c

histo

outl

outr

type Futu b c

futu

innl

innr

dyna

chrono

fix

nu