module Data.Fin.List (Peano, List (..),
                      fromList, uncons, head, tail, init, last, reverse, rotate, at, swap, (!!)) where

import Prelude ()
import Data.Fin.Private
import Data.Peano