being an attempt to express dependently typed data models
Primary LanguageHaskellThe UnlicenseUnlicense