type MyUnit = ()

fun :: a -> MyUnit -> MyUnit
fun x () = ()