Language.KURE.BiTransform
data BiTransform c m a b
type BiTranslate c m a b
type BiRewrite c m a
bidirectional
forwardT
backwardT
whicheverR
invertBiT
beforeBiR
afterBiR