Documentation
Move operations on type level list to separate module
Add instance for Complex
Add interop woth fixed-vector