#!/bin/sh

cmigrep -v length List | grep -q "val length : 'a list -> int"
