Data.Comp.Param.Thunk

type TermT m f

type TrmT m f a

type CxtT h m f a

data Thunk m a b

thunk

whnf

whnf'

whnfPr

nf

nfT

nfPr

nfTPr

evalStrict

type AlgT m f g

strict

strict'