Data.Comp.Thunk

type TermT m f

type CxtT m h f a

thunk

whnf

whnf'

whnfPr

nf

nfPr

eval

eval2

deepEval

deepEval2

(#>)

(#>>)

type AlgT m f g

cataT

cataTM

eqT

strict

strictAt