# hs2ats

This is a tool to convert Haskell types to ATS types. So far it works quite
well, but documentation is sparse.

Example use:

```
hs2ats --src DataTypes.hs --target generated_types.sats
```

Note also that `hs2ats` does not preserve strictness semantics.