@hackage sat-micro-hs dependencies