/Adjoint/Instance/

• ../
• List.agda