If you have a type signature in a literate Idris file (`.lidr`): ``` Some text > take : (n : Nat) -> Vect (n+m) a -> Vect n a ``` and you try to generate the initial pattern match with a cursor on `take`, the generated line does not have a `>` symbol.