Build with groundhog 0.5.0
replace datatype Proxy with type variable proxy (see groundhog commit acd6ed1)