Types and Coercions

Hakaru is a simply-typed language which has a few basic types and some more complicated ones which can be built out of simpler types.



For the primitive numeric types we also offer coercion functions.

For the ones which are always safe to apply such as nat2int we will automatically insert them if it is required for the program to typecheck.