diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-13 22:47:42 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-13 22:47:42 +0200 |
| commit | e4e23a33f77d250af1e9b6614cf249128ba1510a (patch) | |
| tree | 34bb40910003749becbaf8005a7b7ca62024fff2 /src/Data/INat.hs | |
| parent | 7c9865354442326d55094087ad6a74b6e96341fb (diff) | |
Shape/index hygiene
Diffstat (limited to 'src/Data/INat.hs')
| -rw-r--r-- | src/Data/INat.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Data/INat.hs b/src/Data/INat.hs index 2d65c53..af8f18b 100644 --- a/src/Data/INat.hs +++ b/src/Data/INat.hs @@ -4,6 +4,7 @@ {-# LANGUAGE PolyKinds #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE StandaloneDeriving #-} +{-# LANGUAGE TypeAbstractions #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} |