module TestDatatypes

||| This is another test
public export
data Test : Type where
  ||| Test constructor
  ATest : Test