reg023.idr:7:When elaborating right hand side of bad:
Can't unify
	Nat
with
	f Nat

Specifically:
	Can't unify
		Nat
	with
		f Nat