Function K

Source
pub fn K(a: B) -> B