import Hello02 (hello)
import Hello02 (hello)

fun = hello