Base · base.bend:162
import Base
162def IO(-A: Type) -> Type: 163 @-R: Type -> 164 @k: (A -> IO.OP<R>) -> 165 IO.OP<R>