reg049.idr:2:9:When elaborating constructor Main.Bogus:
Void is not Main.Foo