Function returns

pub fn returns<A>(_a: A)