Explicit type signatures

[WilliamRagstad]

Should we support this syntax?

f :: int -> int

add :: int -> int -> int -> int
add x, y, z {
	x + y + z
}

[WilliamRagstad]

One could also try to use : instead of ::?

[WilliamRagstad]

This would be a nice idea for function overloading of the same signature with guards like:

add :: int -> int -> int -> int
add 0, 0, 0 = 0
add 0, 0, z = z
add 0, y, z = y + z
add x, y, z = x + y + z