Dependencies for stm-lifted-0.1.1.0

library