Require dependencies when inductives are in types#21

flupe merged 1 commit intoagda:masteragda/agda2lambox:masterfrom

flupe:issue20flupe/agda2lambox:issue20Copy head branch name to clipboard