有没有一种方法可以在类型注释中指定部分自定义类型？

Question

是否可以在类型注释中指定部分自定义类型？

例如，如果我以这种方式使用类型别名：func : { a | foo : String }是否可以使用此功能：

when : Bool -> msg -> msg -> msg
when ok msgTrue msgFalse = 
    if ok then 
        msgTrue 
    else 
        msgFalse

我想做这样的事情：

when : Bool -> (msg | NoOp) -> msg
when ok msg = 
    if ok then
        msg 
    else
        NoOp  

我们知道msg至少具有NoOp值