I'm curious why this works

fun a(): Unit

==

fun a()

but this doesn't:

fun b(G: Unit)

!=

fun b()

not entirely sure what you are asking but looks like you're missing the parameter for

b()

in the right hand unless you're making another point.

return type is implicit

Unit

when left out, but arguments of type

Unit

do not behave that way, oterwise you would have a ininite number of functions with any number of Unit parameters be equivalent to a single function, silly apart fro mthat its quite useless as a value to pass since there is just a single Unit, its like passing void..