Type checking ./TestDatatypes.idr
Data types are documented