
higher_order_discrepancy.erl:19:1: Function g/1 has no local return
higher_order_discrepancy.erl:19:1: The pattern 'bar' can never match the type 'foo'
