Odd/Even List in Idris (with mutual block)

gistfile1.hs

mutual
  namespace Even
    data EvenList : Set where
      Nil  : EvenList
      (::) : Nat -> OddList -> EvenList

  namespace Odd 
    data OddList : Set where
      (::) : Nat -> EvenList -> OddList 

test : OddList
test = [1,2,3]