Function returns 

pub fn returns<A>(_a: A)