Bump adjunctions to 3.2.1.1
Bump constraints to 0.3.4.1
Bump trifecta to 1.2.1.1
Bump idris to 0.9.9.3