Haskell/Solutions/GADT

Safe Lists
TODO