Use concrete fundamental groups.
Make it type check (in reasonable time) again.