separated lazy from strict fixed Free