@@ -36,6 +36,15 @@ module LAoP.Dist
3636 Dist (..),
3737 Prob,
3838
39+ -- * Constraint type synonyms
40+ Countable,
41+ CountableN,
42+ CountableDimensionsN,
43+ FromListsN,
44+ Liftable,
45+ TrivialP,
46+ TrivialE,
47+
3948 -- * Functor instance equivalent functions
4049 fmapD,
4150