data Transfers (xs :: Nonempty *) where ConsTransfers :: x -> Transfers xs -> Transfers (Cons x xs) LastTransfer :: x -> Transfers (Last x)