[Bug 710031] New: Review Request: ghc-Agda - Dependently typed functional programming language