use pomelo::*; pomelo! { %default_type Option; input ::= Terminal(T) { let x : Option = T; x } }