idris-0.12: test/reg075/input

:printdef Foo