reg049.idr:2:9:When elaborating constructor Main.Bogus:
Void is not Main.Foo
reg049.idr:5:6:When elaborating right hand side of uhOh:
No such variable Bogus