LIFF ports for Elm

Yes, that looks right. You also corrected my mistake (which I also fixed above). Its not SomePort : X -> Cmd msg it is as you have done it type alias SomePort = X -> Cmd msg.