expected

reg023.idr:7:When elaborating right hand side of bad:
Can't unify
	[94mNat[0m
with
	[92mf[0m [94mNat[0m

Specifically:
	Can't unify
		[94mNat[0m
	with
		[92mf[0m [94mNat[0m