foo :: () -> void {
  putc 'a';
};