yellowsquid/idris-soat.git/src/Soat/SecondOrder/Algebra/Lift, branch refactor/strict [no description] http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=refactor%2Fstrict