take
    :: KnownNat n
    => Proxy (n::Nat)
    -> SizedList (m+n) a
    -> SizedList n a
take p = fst . splitAt p
take
    :: KnownNat n
    => Proxy (n::Nat)
    -> SizedList (m+n) a
    -> SizedList n a
take p = fst . splitAt p
take p = fst . splitAt p