Cascade

data CascadeC c ts

transform

cascade

type Cascade

type CascadeM m

(>=>:)

cascadeM

unwrapM

wrapM

type CascadeW w

(=>=:)

cascadeW

unwrapW

wrapW